орювання}
Призначені процедури2 ::={Серія та номер путівки, Код СКК, ІН процедури, Призначено, Пройдено, Коментар лікаря}
Професійні заболеванія2 ::={ІН професії, ІН захворювання}
Назви профессій2 ::={ІН професії, Назва професії}
Назви заболеваній2 ::={ІН захворювання, Назва захворювання}
Назви процедур2 ::={ІН процедури, Назва процедури}
Процедури для заболеваній2 ::={ІН захворювання, ІН процедури}
Пользователі2 ::={ІН користувача, ПІБ, Вид співробітника, Логін, Пароль}
Види пользователей2 ::={ІН виду, Назва виду}
Видно, що відносини знаходяться в 3НФ.
2.2.8 Предикат для перевірки цілісності бази даних
Під цілісністю БД розуміється правильність даних в будь-який момент часу. Підтримка цілісності бази розглядається як захист даних від невірних змін або руйнувань.
· Цілісність відносин. Цілісність відносин полягає в тому, щоб будь-який кортеж отношеніябил відрізнити від будь-якого іншого кортежу в даному відношенні. І так як всі виділені відносини володіють унікальним набором атрибутів (первинним ключем) то таку перевірку легко організувати. Така перевірка повинна здійснюватися безпосередньо перед кожною операцією (модифікації або додавання записів) яка може призвести до потенційних суперечностей і порушення цілісності.
· Цілісність по посиланнях. Основна вимога посилальної цілісності полягає в тому, щоб значення зовнішніх ключів посилаються відносин були рівні значенням первинного ключа відносини-цілі. У реалізацііБД не допускається зберігання невизначених значень у зовнішніх ключах відносин, тобто кожне значення атрибута, що бере участь в зовнішньому ключі має бути визначено і досяжно.
· У розробленій інформаційній системі така можливість також забезпечується. Наприклад, при кожній операції з даними, при спробі видалення цільового кортежу відносини, на який посилається деякий зовнішній ключ операція видалення відкидається системою, тобто перш ніж видалити кортеж цільового відносини необхідно видалити всі посилання кортежі залежного відносини, тобто ті кортежі, які беруть участь у зв'язках з даними кортежем. Для деяких видів видалення, наприклад, видалення запису про відпочиваючих, реалізовано каскадне видалення, що дозволяє зберегти цілісність.
· Цілісність, що визначається предметною областю. Для будь-якої конкретної бази даних існує ряд додаткових специфічних правил, які ставляться до неї однієї і визначаються розробником. У даній реалізації, крім заборони на порожнечу впроваджуються даних для інформаційних полів БД, це обмеження накладаються, наприклад, функціональними залежностями нашої предметної області.
· В цей предикат входять умови збігу безлічі кортежів відповідних зовнішніх ключах, а також умови включення атрибутів в домени.
Діагноз. Серія та номер путівки=Відпочивальник. Серія та номер путівки
AND
Діагноз. Код СКК=Відпочивальник. Код СКК
AND
Діагноз. ІН захворювання=Назви захворювань. ІН захворювання
AND
