Лекции по "Информационному технологии"
Курс лекций, 16 Мая 2013, автор: пользователь скрыл имя
Описание работы
1. Условное здание разработки ИС.
2. Понятие жизненного цикла ИС. Процессы жизненного цикла.
3. Модели жизненного цикла ИС.
Файлы: 11 файлов
Лек33-9.doc
— 79.00 Кб (Просмотреть файл, Скачать файл)Лек33-8.doc
— 199.50 Кб (Просмотреть файл, Скачать файл)Лек33-7.doc
— 158.00 Кб (Просмотреть файл, Скачать файл)Лек33-6.DOC
— 137.50 Кб (Просмотреть файл, Скачать файл)Лек33-5.DOC
— 232.00 Кб (Скачать файл)Подсистема ФЗ 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}.