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