18
правок
Изменения
Исправлены маленькие неточности.
* Заголовок отношения — описание данных, представляющее собой множество пар <code>{имя: тип}</code>,
* Тело отношения — данные, представляющие собой множество множеств пар <code>{имя: значение}</code>.}}
Заданное отношение соответствует тому, что мы называли расширением предиката<ref>[https://en.wikipedia.org/wiki/Extension_(predicate_logic) Extension (predicate logic) — Wikipedia]</ref> в логике первого порядка.
''' Пример отношения '''
* В проекции на надключ нет повторяющихся кортежей.
}}
=== Ключи ===
=== Требования к ключам ===
