"Существует ровно два отношения без атрибутов, одно с пустым кортежем, а другое без. В Третьем манифесте Дата и Дарвен (несколько) с юмором называют их TABLE_DEE и TABLE_DUM (соответственно).
Они полезны в той мере, в которой они являются тождеством множества операторов отношений, играющих роли, эквивалентные 1 и 0 в обычной алгебре. "
И, конечно, они также играют роль «ИСТИНА» и «ЛОЖЬ» в булевой алгебре. Это означает, что они полезны, когда такие предложения, как «Магазин открыт» и «Тревога установлена» должны быть представлены в базе данных.
Следствием этого является то, что они также могут быть полезны в любом выражении реляционной алгебры для их свойств «действовать как IF / ELSE»: присоединение к TABLE_DUM означает полное отсутствие кортежей из другого аргумента, присоединение TABLE_DEE означает сохранение их всех. Таким образом, присоединение R к relvar S, который может быть равен либо TABLE_DEE, либо TABLE_DUM, является эквивалентом RA "if S, тогда R else FI", где FI обозначает пустое отношение.