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

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

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

II. Формула

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

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

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

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

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

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

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

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

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

Значение выражения реляционного исчисления доменов Интерпретация 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

Значение выражения реляционного исчисления доменов Интерпретация 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

Значение выражения реляционного исчисления доменов Интерпретация 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)

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

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

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

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