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