==Исчисление доменов==
В отличие от {{Определение|definition='''Исчисление доменов''' {{---}} вид реляционного исчисления кортежей, где областью в котором значения переменных были отношенияпринадлежат заранее определённым ''доменам''.}} Домен следует понимать как какое-то именованное множество допустимых значений для переменных. На современном языке, в исчислении доменов, значения переменных лежат в заренее заданых доменах (мы будем называть их также типами)это понятие достаточно близко к понятию типа. Введём синтаксис для указания типов переменных. Также введём предикат, будем называть его ''условием принадлежности'', который для заданного отношения и значений атрибутов проверяет, есть ли совпадающий кортеж в отношении.
===Синтаксис===
<font color=red>Переменная</font> :: <font color=red>Тип</font> <font color=green>-- Переменная может принимать значения из какого-то типа. Тип == набор значений
