Введение в системы управления базами данных
двух совместимых по типу отношений
Определение 4
. Вычитанием двух совместимых по типу отношений
называется отношение с тем же заголовком, что и у отношений 
, и телом, состоящим из кортежей, принадлежащих отношению 
.
Синтаксис операции вычитания:
