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