Розроблено методичне, алгоритмічне і програмне забезпечення процесу розробки інформаційної моделі організації у вигляді системи реляційних баз даних. Представлено методи та алгоритми, що дають змогу автоматизувати процес проектування бази даних. Запропоновано метод маніпулювання функціональними залежностями, заснований на матричному представленні булевих функцій. Суть методу полягає в можливості зіставлення булевої функції заперечення імплікації кожній функціональній залежності, а множині функціональних залежностей - диз'юнктивну функцію. Розроблений метод дає змогу розв'язувати задачі, що виникають у процесі проектування бази даних. Метод легко програмується та досить наочний. Розроблено алгоритм пошуку всіх потенційних ключів відношення, заснований на запропонованому методі маніпулювання функціональними залежностями, а також алгоритм переходу від діаграми "сутність - зв'язок" до відношень реляційної бази даних. Розроблено програми, які реалізують запропоновані алгоритми та методи. Наведено методику контролю та тестування проекту бази даних.

  Завантажити