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

Question

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

Answer 1

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

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)

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

Answer 2

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

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