Автор работы: Пользователь скрыл имя, 16 Мая 2013 в 16:51, курс лекций
1. Условное здание разработки ИС.
2. Понятие жизненного цикла ИС. Процессы жизненного цикла.
3. Модели жизненного цикла ИС.
Подсистема ФЗ KFÍF, KF={f½f:X®Ai,XÎK}называется ключевыми ограничениями целостности отношения R, или k-ограничениями.
Подсистема ФЗ DFÍF, DF={f½f:X®Ai,XÎDT, XÏK} называется детерминантными ограничениями целостности отношения R, или d-ограничениями.
Детерминантные ограничения целостности отношения R, входящие в состав какого-либо покрытия FMi для F называются существенными (невыводимыми, неавтоматическими). Остальные – несущественные (выводимые, автоматические).
Основные свойства ФЗ (правила вывода).
1. Транзитивность: Если (X®Y)&(Y®Z), то X®Z.
2. Псевдотранзитивность: Если (X®Y)&((Y,W)®Z), то (X,W)®Z.
3. Сжатие: ((A,X)®Y)& (X®Y), то X®Y.
Опр. Транзитивным замыканием (замыканием) называется система ФЗ F, построенная из исходной системы ФЗ F с применением правил вывода 1-3:
где * – операция определения замыкания.
Опр. Покрытием FMi называют любую подсистему ФЗ, , если
Пример. Пусть задана СФЗ F={A®B,B®C,C®D} в отношении R.
Тогда ={A®B,B®C,C®D,A®C,A®D,B®D} (правило 1).
FM1={A®B,B®C,C®D,A®C}.
Если K={A}, то DT={A,B,C},
KF={A®B,A®C,A®D}, DF={B®C,C®D, B®D},
DFC={B®C,C®D}, DFA={ B®D}.