ПЗ №2 "Обчислення доменів. Побудови атомів і формул".
Практичне заняття №2 "Обчислення доменів.
Побудови атомів і формул".
Мета: придбання практичних навичок побудови атомів і формул, а також побудови доменів
Теоретичні відомості.
Будь-який вираз обчислення доменів може бути представлений у такому вигляді:
{ x1,x2,…,xn/ f(x1,x2,…,xn) }
де f - формула; x1,x2,…,xn - вільні змінні
В обчисленні доменів не існує змінних кортежів. Замість них вводяться змінні на доменах. У всіх інших випадках реляційне обчислення зі змінними на доменах будується так само, як і реляційне обчислення зі змінними на кортежах.
Формули в реляційному обчисленні доменів будують з атомів і сукупності операторів (арифметичних і логічних). Вираз в реляційному обчисленні доменів будують над множиною відношень. Типи можливих атомів подані в табл. 3.7.
Для побудови формули (запиту) використовуються логічні зв'язки (∧,∨,¬), а також квантори загальності ∀x і квантори існування ∃x.
Таблиця 3.7
Правила побудови атомів
|
Номер типу атому |
Правила побудови атомів |
|
1 |
R(x1,x2,…,xn), де R - n-арне відношення; xi - константа або змінна на деякому домені. Атом R(x1,x2,…,xn) вказує на те, що значення тих xi, які є змінними, повинні бути вибрані так, щоби (x1,x2,…,xn) було кортежем відношення R |
|
2 |
(xθy), де x і y - константи або змінні на деякому домені; θ - арифметичний оператор відношення; Атом (xθy) вказує на те, що x і y являють собою значення, при яких істинно (xθy) |
Приклад.
- Визначити всіх студентів спеціальності ІУСТ.
{прізвище/ ∃x ∃y Студент(прізвище,x,y, "ІУСТ")}
2. Визначити всіх студентів, для яких у 7 семестрі викладач Гавриш проводить заняття.
{прізвище/ ∃x ∃ y ∃zСтудент(прізвище,x,y,z)∧
∃s Дисципліна(s,x,z,"Гавриш",7)}