Выражать никто в относительной алгебре
У меня есть пять подмостков
- Спектакль (EspectáculoID, Я Получаю титул, FechaEmp, Продолжительность службы, SalaID, Cantador)
- Я согласовываюсь (ConciertoID, Дата, Расписание, EspectáculoID)
- Засоли (SalaID, Имя, Адрес, Способность)
- Билет (BilleteID, ConciertoID, PosiciónNum, Категория, Цена)
- Продавать (VentaID, FechaVenta, BilleteID, FormaDePago)
Как выражать в относительной алгебре люди, которые не реализовали Концерт в Liceu? (Очень красивый концертный зал в Барселоне).
Относительная алгебра - набор операций, которые описывают шаг за шагом, как вычислять ответ на связях, как эти определены в относительной модели. Обозначенная процедурного типа, в отличие от относительного Вычисления, которое декларативного типа.
Я принес:
Но я не знаю, выражаю ли я те, которые реализовали концерт в Liceu, чтобы перемещать их от всех Cantador.
Кроме того я не знаю, необходимо ли писать то, что я написал внизу ⋈: это достаточно тот факт, что колонна SalaID Спектакля находится также в Залах?.
Если я понял хорошо вопрос, ты хочешь Cantador(певцы?), у которого не был концерт в зале "Liceu"
Сейчас, если он состоит в том, что мне удается помнить мои классы относительной алгебры, и я преуспеваю sintáxis, решение:
ΠCantador(Espectáculo) - ΠCantador(σNombre=Liceu(Espectáculo ⋈ Sala))
Здесь то, что происходит, получается набор cantador полно, потом набор cantador те, кто, если они участвовали в зале "Liceu", и вычисляется различие между обоими.
Кроме того я не знаю, необходимо ли писать то, что esribi с ⋈ потому что уже этот sufficiente или не echo, которого SalaID Спектакля - SalaID Залов.
В натуральном союзе (⋈), если опускается условие, значь, что сравнение осуществляется всеми общими колоннами между 2 подмостками, в этом случае SalaID, следовательно не необходимо определять это.