t5 - вартість оренди
Функціональна залежність
Припустимо, задано уявлення
{(t, n i , t i ) | i = 1 ... k}
X = {t i1 , ..., t ip }
Y = {t j1 , ..., t js }
Кажуть, що компоненти Y функціонально залежать від компонент X, якщо в будь-який момент часу t для будь-яких двох об'єктів Про 1 , Про 2 ГЋ t про t з рівностей: n i1 t (O 1 ) = N i1 t (O 2 )
. . . p> n ip t (O 1 ) = n ip t (O 2 ),
слідують рівності:
n j1 t (O 1 ) = n j1 t (O 2 )
. . . p> n js t (O 1 ) = n js t (O 2 )
Приклад: X = {t 4, t 5, t 6 } Y = {t 1, t 2, t 3 }
t Лекція
лектор
слухач
предмет лекції
місце
день тижня
час початку
викладач
група
предмет
аудиторія
дата
В
t 1 t 2 t 3 t 4 t 5 t 6
min уявлення
В
Операції над типами об'єктів
Дозволяють отримувати з існуючих типів нові типи.
1. Можуть бути задані операції об'єднання (t 1 Г€t 2 ), перетину
(T 1 Г‡t 2 ), розбиття та ін
Якщо {T i INS t | i = 1, ..., k}, то тип Г€ t i складається з тих і тільки об'єктів, які можуть бути елементами об'єктів типу t.
Якщо {(t i SUP t) | i = 1, ..., k}, то рівність t = Г€t i означає, що список підтипів ti є вичерпним для об'єктів типу t.
Прімера : p> об'єкт = людина Г€ приміщення Г€ обладнання
человекГ‡помещеніе = человекГ‡оборудованіе =
= ПомещеніеГ‡оборудованіе = 0
2. Операція розбиття типів об'єктів на класи еквівалентних об'єктів. br/>
(людина, стать людини, стать)
t n 1 t 1
підлогу = {Чоловік, дружин}
t 2 = чоловік
t 3 = дружин
Типи t...
