Реляційне числення

Реляційне числення - прикладна гілку формального механізму обчислення предикатів першого порядку. У основі числення лежить поняття змінної з певною для неї областю допустимих значень і поняття правильно побудованої формули, що спирається на змінні, предикати і квантори. Поряд з реляційної алгеброю є способом отримання результуючого відносини в реляційної моделі даних. В залежності від того, що є областю визначення змінної, розрізняють:


Формула Це заготовка статті по математиці. Ви можете допомогти проекту, виправивши або дописавши її.