Система запросов «Реляционное исчисление доменов». - презентация

1 Система запросов «Реляционное исчисление доменов»

2

3

4 Выражение реляционного исчисления доменов

5 Формула реляционного исчисления доменов

6

7 II. Формула

8 Разрешенная формула реляционного исчисления доменов

9 II. Формула g – разрешенная формула 1. f = ¬g f – разрешена типы вхождения переменных в f, а также типы переменных, сохраняются по сравнению с типами вхождения переменных в g type(x, f) = type(x, g)

10 Разрешенная формула реляционного исчисления доменов II. Формула g, h – разрешенные формулы 2. f = g h f – разрешена типы вхождения переменных в f сохраняются по сравнению с типами вхождения переменных в g type(x, f) = type(x, g) = type(x, h)

11 Разрешенная формула реляционного исчисления доменов II. Формула g, h – разрешенные формулы 3. f = g h f – разрешена типы вхождения переменных в f сохраняются по сравнению с типами вхождения переменных в g type(x, f) = type(x, g) = type(x, h)

12 Разрешенная формула реляционного исчисления доменов II. Формула g – разрешенная формула 4. f = x(A)g f разрешена, если тип вхождения х в g – свободный, type(x, g) = A тип вхождения х в g – связанный type(x, f) не определен типы вхождения переменных, х, в f сохраняются по сравнению с типами вхождения переменных в g

13 Разрешенная формула реляционного исчисления доменов II. Формула g – разрешенная формула 5. f = x(A)g f разрешена, если тип вхождения х в g – свободный, type(x, g) = A тип вхождения х в g – связанный type(x, f) не определен типы вхождения переменных, х, в f сохраняются по сравнению с типами вхождения переменных в g

14 Разрешенная формула реляционного исчисления доменов II. Формула g – разрешенная формула 6. f = (g) f – разрешена типы вхождения переменных в f, а также типы переменных, сохраняются по сравнению с типами вхождения переменных в g type(x, f) = type(x, g)

15 Значение выражения реляционного исчисления доменов: Подстановка

16 Значение выражения реляционного исчисления доменов: Подстановка

17 Значение выражения реляционного исчисления доменов Интерпретация f(x) – разрешенная формула свободных переменных в f I(f) – интерпретация формулы f 1. f = true I(f) = true f = false I(f) = false 2. f = ¬g, в g свободных переменных I(f) = true, если I(g) = false I(f) = false, если I(g) = true

18 Значение выражения реляционного исчисления доменов Интерпретация f(x) – разрешенная формула свободных переменных в f I(f) – интерпретация формулы f 3. f = g h, в g и h свободных переменных I(f) = true, если I(g) = true и I(h) = true, иначе I(f) = false 4. f = g h, в g и h свободных переменных I(f) = false, если I(g) = false и I(h) = false, иначе I(f) = true

19 Значение выражения реляционного исчисления доменов Интерпретация f(x) – разрешенная формула свободных переменных в f I(f) – интерпретация формулы f 5. f = x(A)g, х – единственная свободная переменная в g I(f) = true, если t dom(A) : I(g(t/x)) = true, иначе I(f) = false 6. f = x(A)g, х – единственная свободная переменная в g I(f) = true, если t dom(A) I(g(t/x)) = true, иначе I(f) = false 7. f = (g) I(f) = I(g)

20 Значение выражения реляционного исчисления доменов

21 Реляционное исчисление доменов: пример r(R), R = { студ. билета, Фамилия, Группа } Задание: Получить фамилии всех студентов, обучающихся в группе 2232

22 Реляционное исчисление доменов: пример

23 Заключение Система запросов «Реляционное исчисление доменов» Выражение Разрешенность формул Значение выражения Пример составления выражения