Агрегат данных
поименованная совокупность элементов данных внутри записи, которую можно рассматривать как единое целое.
логическая модель, в которой любое выражение может иметь одно из трех значений: True, False или Null.
Доказываются 27 свойств, связывающих предполные классы трехзначной логики.
Приводится система из 36 аксиом, связывающих предполные классы трехзначной логики. На основе этих аксиом (и двойственных к ним) строится множество из 406 строк, в котором представлены все возможные варианты распределения трехзначных функций по предполным классам.
поименованная совокупность элементов данных внутри записи, которую можно рассматривать как единое целое.
ключ-кандидат в отношении, который не используется в качестве внешнего ключа таблицы.
ключ-кандидат, состоящий из родного атрибута.