Задана схема базы данных "Поставки":
S(IDS, NameS, CityS, Rating, Deposit);
SP(IDS, IDP, Amount, Price);
P(IDP, NameP, CityP, Color).
Выполнить логическую оптимизацию следующего выражения реляционной алгебры:
πNameS,NameP,Amount(σDeposit>Price∧S.IDS=SP.IDS∧SP.IDP=P.IDP((S×SP)×P))πNameS,NameP,Amount(σDeposit>Price∧S.IDS=SP.IDS∧SP.IDP=P.IDP((S×SP)×P))\pi_{NameS,NameP,Amount}(\sigma_{Deposit>Price\wedge S.IDS=SP.IDS\wedge SP.IDP=P.IDP}((S×SP)×P))
Порядок обработки исходных и промежуточных отношений не менять. Порядок выполнения бинарных операций указывать явно с помощью скобок. В последовательности операций <выборка, проекция> выборка должна всегда выполняться первой. Порядок атрибутов в добавляемых проекциях должен соответствовать порядку атрибутов в схеме базы данных. Порядок операндов в условиях не менять. Избыточные скобки не допускаются. Буквы необходимо набирать в английской раскладке. Для вычисления Amount*Price используйте запись Price⋅AmountPrice⋅AmountPrice\cdot Amount (перестановка сомножителей не допускается). При записи выражения реляционной алгебры следует использовать разметку TEX (см. ниже). Все необязательные пробелы в записи выражения TEX необходимо удалить. Для проверки правильности разметки TEX можно использовать редактор http://mathurl.com/
Разметка
TEX
αA>BαA>B\alpha_{A>B}
\alpha_{A>B}
ππ\pi
\pi
σσ\sigma
\sigma
××\times
\times
⋈⋈\bowtie
\bowtie
⋈A>B⋈A>B\mathop\bowtie\limits_{A>B}
\mathop\bowtie\limits_{A>B}
∧∧\wedge
\wedge