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 …


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


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