Как изобразить "не существует" в реляционной алгебре?

Question

Как изобразить "не существует" в реляционной алгебре?

Как мне представить SQL-предложение "не существует" в реляционной алгебре?

6

sql algebra relational-algebra relational

Источник

user416663 17 сен '10 в 18:47

2 ответа

Другие вопросы по тегам sql algebra relational-algebra relational

user2262867 26 янв '20 в 22:50 2020-01-26 22:50 · Answer 1 · 2020-01-26 22:50

SQL NOT EXISTS конструкция может быть представлена в реляционной алгебре антисоединением ▹.

Антисоединение L ▹ R двух отношений L а также R выбирает эти кортежи L которые не соединяются ни с одним кортежем в R. Его можно определить в терминах разницы множеств и левого полусоединения следующим образом:

L ▹ R = L - (L ⋉ R).

user390989 17 сен '10 в 18:52 2010-09-17 18:52 · Answer 2 · 2010-09-17 18:52

Я думаю, что вы ищете экзистенциальный квантификатор (∃), который вы могли бы затем отрицать (~ ∃).

Ответ на комментарий: Я не помню большую часть моей реляционной алгебры, но если бы я собирался сделать удар в этом, я бы предположил что-то вроде: σ_{∃σ (Y)}(S). Или, возможно, π_{∃π (Y)}(S); Я не совсем помню, если вы хотите, чтобы выбор или прогноз для этого.

user923421 07 мар '13 в 12:01 2013-03-07 12:01 · Answer 3 · 2013-03-07 12:01

В моем случае я решил эту проблему, переписав запрос,

SELECT *
FROM contactperson
WHERE EXISTS(
   SELECT *
   FROM person
   WHERE contactperson.personId = person.id)

чтобы:

SELECT *
FROM contactperson
WHERE personId = (
   SELECT id
   FROM person
   WHERE contactperson.personId = person.id)

Он возвращает тот же результат и его легче переписать в реляционную алгебру, используя соединение.