Реляционное исчисление

Это незавершённая статья по информатике. Вы можете помочь проекту, исправив и дополнив её.

Это незавершённая статья по математике. Вы можете помочь проекту, исправив и дополнив её.

Реляционное исчисление — прикладная ветвь формального механизма исчисления предикатов первого порядка. В основе исчисления лежит понятие переменной с определенной для нее областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают:

• Исчисление кортежей
• Исчисление доменов