Это аннотация другого ответа.Мой мозг болел, и поэтому я попробовал краткий и полный ответ, опубликованный ранее, и это сработало.Но это просто «дать человеку рыбу», и поэтому мне пришлось посмотреть, что за этим стоит.
Вот тогда решение ChrisChen3121 от 22 января 141 года с изменениями только в скобках, комментариях и переносах строк.Большинство круглых скобок выстраиваются вертикально вместе с их соответствием.Надеюсь, что это делает вещи легко увидеть.Следуя эстетически переписанному коду, существуют промежуточные отношения, возникающие в попытке визуализировать / концептуализировать решение.
Короче говоря:
- Найти целевую пиццу;
- С помощью \ cross создайте фантастический супер-сет-лист, как если бы все пиццерии подавали указанные пироги;
- Отнимите оттуда все пироги с "фактической подачей", чтобы создатьСписок «пропавших без вести»;
- Наконец, из [свежей копии] «реальности» вычтите «пропавшие» и ... вот и все.
\project_{pizzeria}(Serves)// “Actual” list of what pizzerias serve. Results shown below.
\diff
\project_{pizzeria}
(// After the diff, this is a list of "What's Missing". Results shown below
(// Super-set of all pizzerias combined with all "over30pies". Results shown below
// NOTE: Some combos here do not match reality
\project_{pizzeria}(Serves)
\cross
(// "over30pies": Within these parentheses produces table shown below
//Next line is what I used, it’s effectively equivalent, yes.
//roject_{pizza} ( \select_{age > 30 } Person \join Eats)
\project_{pizza} (\project_{name}(\select_{age > 30 } (Person))\join Eats)
)
)
\diff
( // “Actual” list of what pizzerias serve. Results shown below.
\project_{pizzeria,pizza}(Serves)
)
)
// «более 30 пирогов», целевые пироги (съеденные более 30 лет)
cheese
supreme
// Супер-набор всех пиццерий в сочетании со всеми целями ("over30pies ") // ПРИМЕЧАНИЕ: некоторые комбо не соответствуют действительности.
Chicago Pizza | cheese
Chicago Pizza | supreme
Dominos | cheese
Dominos | supreme
Little Caesars | cheese
Little Caesars | supreme
New York Pizza | cheese
New York Pizza | supreme
Pizza Hut | cheese
Pizza Hut | supreme
Straw Hat | cheese
Straw Hat | supreme
// Фактический, полный список того, какие пиццерии на самом деле служат, что
Chicago Pizza | cheese
Chicago Pizza | supreme
Dominos | cheese
Dominos | mushroom
Little Caesars | cheese
Little Caesars | mushroom
Little Caesars | pepperoni
Little Caesars | sausage
New York Pizza | cheese
New York Pizza | pepperoni
New York Pizza | supreme
Pizza Hut | cheese
Pizza Hut | pepperoni
Pizza Hut | sausage
Pizza Hut | supreme
Straw Hat | cheese
Straw Hat | pepperoni
Straw Hat | sausage
// Разница (что осталось) после того, как «Фактическое» вычтено из фантастического «Супер-Задавать".Это означает, что ПРОИГРЫВАЕТСЯ, или « В этих пиццериях не подают необходимую пиццу, перечисленную »
Dominos | supreme
Little Caesars | supreme
Straw Hat | supreme