Реляционное исчисление - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Реляционное исчисление. Доклад-сообщение содержит 28 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Лекция 7. Реляционное исчисление Национальный авиационный университет Факультет компьютерных наук Кафедра инженерии программного обеспечения

Слайд 2

Описание слайда:

СОДЕРЖАНИЕ Реляционные исчисления Исчисление Кодда Язык ALPHA Эквивалентность и полнота Примеры

Слайд 3

Описание слайда:

Теория множеств и логика

Слайд 4

Описание слайда:

Реляционное исчисление Подмножество формул исчисление предикатов Формальное описание того, ЧТО следует получить из базы данных. Например: ЕЯ - "Выдать факультеты с фондом финансирования > 10000" РИ - {t | (FAC(t) & t.fund > 10000} Имеет средства языка запросов, но не обладает возможностями манипулирования данными (как и реляционная алгебра) Два варианта реляционного исчисления: Кортежное реляционное исчисление (TRC) – переменные представляют строки отношений Доменное реляционное исчисление (DRC) - переменные представляют домены атрибутов отношений

Слайд 5

Описание слайда:

Кортежное реляционное исчисление (TRC) Запрос ( в простейшем случае) имеет вид {t | (F(t)} t - кортежная переменная; F(t) - формула, в которой присутствует кортежная переменная t Ответ: Множество всех таких кортежей t, для которых формула F(t) принимает значение true. Формула: Рекурсивно определяется через атомарные формулы и построением более сложных формул с помощью логических связок и кванторов. SQL: Является формальной основной языка SQL.

Слайд 6

Описание слайда:

TRC - Базовые составляющие языка

Слайд 7

Описание слайда:

TRC - Правильно определенные формулы Атомарные формулы: P(t) - P - предикатный символ, - t - кортежная переменная. Если Р интерпретируется отношением R, то P(t) означает t  R t.a θ t.b - t.a и t.b - срезы t.a θ с - t.a - срез, с - константа Правильно построенные формулы (ппф): Атомарные формулы являются ппф; Если F ппф, то ппф также являются F и (F) Если F и G ппф, то ппф также являются F  G, F  G, F  G Если F ппф со свободной переменной t, то ппф также являются tF(t) и tF(t).

Слайд 8

Описание слайда:

TRC - Свободные и связанные переменные. Запросы.

Слайд 9

Описание слайда:

Пример БД для запросов в РИ FAC FACULTY (FNo, Name, Dean, Bld, Fund) DEP DEPARTMENT (DNo, FNo, Name, Head, Bld, Fund) TCH TEACHER(TNo, DNo, Name, Post, Tel, Salary, Comm) GRP GROUP(GNo, DNo, Course, Num, Quantity, CurNo) SBJ SUBJECT(SNo, Name) ROM ROOM (RNo, Num, Building, Seats) LEC LECTURE (TNo, GNo, SNo, RNo, Type, Day, Week)

Слайд 10

Описание слайда:

TRC - Примеры проекции, селекции и соединения

Слайд 11

Описание слайда:

TRC - Примеры кванторов существования

Слайд 12

Описание слайда:

TRC - Примеры кванторов общности

Слайд 13

Описание слайда:

TRC - Безопасные формулы (запросы) Для построения безопасных запросов: все переменные в формуле должны быть ограниченными; все логические связки должны быть ограниченными; все кванторы должны быть ограниченными.

Слайд 14

Описание слайда:

TRC - Ограниченные переменные Переменная t ограниченна, если: она появляется в предикате Р(t), где Р интерпретируется отношением БД; она появляется в формуле t.a1 = c1 & ... & t.an = cn, где a1,..., an - все атрибуты корежа t, а c1, ..., cn - константы; она появляется в формуле t = s, где s – ограниченная переменная.

Слайд 15

Описание слайда:

Ограниченные логические связки

Слайд 16

Описание слайда:

Ограниченные кванторы

Слайд 17

Описание слайда:

Доменное реляционное исчисление (DRC) Запрос имеет вид {x1,x2,...,xn | (F(x1,x2,...,xn)} x1,x2,...,xn - доменные переменные; F(x1,x2,...,xn) - формула, в которой единственными свободными переменными являются x1,x2,...,xn Ответ. Множество всех таких кортежей , для которых формула F принимает значение true. Формула. Рекурсивно определяется через атомарные формулы и построением более сложных формул с помощью логических связок и кванторов точно так же, как и в TRC. QBE. Является формальной основной языка QBE.

Слайд 18

Описание слайда:

Примеры запросов в DRC

Слайд 19

Описание слайда:

Эквивалентность RA, TRC, DRC и реляционная полнота.

Слайд 20

Описание слайда:

Реляционное исчисление Кодда (СRС)

Слайд 21

Описание слайда:

CRC – основные составляющие

Слайд 22

Описание слайда:

CRC - правильно определенные формулы Термы: P.t – терм значений: P - предикат, t - кортежная переменная. Если Р интерпретируется отношением R, то P.t означает t  R t[i] θ s[j], t[i] = c - термы соединений Примеры: t1[3] = t2[1]; t4[7] = 15 Формулы, правильно определенные над строковой переменной: Все входящие в формулу предикатные символы интерпретируются совместимыми по объединению отношениями. В формулу входят только термы значений с единственной переменной. Термы значений соединяются связками , &, . Причем, связке  непосредственно предшествует связка &. Примеры формул, правильно определенных над переменной t. P1.t  P2.t  (P3.t & P4.t); (P1.t  P2.t) & P3.t.

Слайд 23

Описание слайда:

Формула, правильно определенная на кванторах

Слайд 24

Описание слайда:

Формула с областью определения

Слайд 25

Описание слайда:

Альфа-выражения

Слайд 26

Описание слайда:

Язык ALPHA Упрощенный синтаксис: RANGE [ SOME | ALL] … GET ( ) : range – указание имени кортежной переменной , которая принимает значения из отношения . SOME | ALL – указывают, следует ли интерпретировать переменную с квантором существования или общности. workspace – идентификатор, который именует временное рабочее отношение, содержащее результат выполнения команды Get. target list – целевой список кортежных переменных и их срезов, указывающих столбцы, которые проецируются в результирующее отношение. wff – правильно построенная формула кортежного реляционного исчисления