1. Понятие о базе данных. Субд. Примеры


Download 338.67 Kb.
bet42/81
Sana17.06.2023
Hajmi338.67 Kb.
#1547959
1   ...   38   39   40   41   42   43   44   45   ...   81
Bog'liq
Baza dannix Yakuniy savollar va javoblar (1)

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

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

  • Исчисление доменов

Исчисление кортежей — направление реляционного исчисления, где областями определения переменных являются тела отношений базы данных, то есть допустимым значением каждой переменной является кортеж тела некоторого отношения.
Определение переменной range of T is отношение Выражение результирующий список where правильно построенная формула Результирующий список и формула содержат ссылки на атрибуты переменной T.ak
Формула задает предикат, проверяющий истинность кортежной переменной используют простые операции сравнения, логические операции и кванторы FORALL и EXISTS
Переменные принимают значения в пределах домена  При построении выражений используются предикаты, задающие условия членства  Каждый предикат имеет вид R (t1:v1, t2:v2,…) или R (t1=v1, t2=v2,…)
(F, G, S) where СТУДЕНТ (фио : F, группа : G, курс =3, код_спец : Х) and СПЕЦИАЛЬНОСТЬ ( код_спец :Y, наим_спец = ’ФИИТ’, факультет : S ) and (X=Y) Or …
Исчисление доменов — вид реляционного исчисления, в котором значения переменных принадлежат заранее определённым доменам.
Домен следует понимать как какое-то именованное множество допустимых значений для переменных. На современном языке, это понятие достаточно близко к понятию типа.
Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных Реляционное исчисление основано на исчислении предикатов



Download 338.67 Kb.

Do'stlaringiz bilan baham:
1   ...   38   39   40   41   42   43   44   45   ...   81




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling