802. Шаталова Юлія Георгіївна. Алгоритмізація основних етапів інформаційного моделювання предметної області: дисертація канд. техн. наук: 05.13.06 / НАН України; Інститут проблем математичних машин і систем. - К., 2003.
Анотація до роботи:
Шаталова Ю.Г. Алгоритмізація основних етапів інформаційного моделювання предметної області. – Рукопис.
Дисертація на здобуття вченого ступеню кандидата технічних наук за спеціальністю 05.13.06 «Автоматизовані системи управління і прогресивні інформаційні технології», Інститут проблем математичних машин і систем НАН України, Київ – 2003 р.
Дисертація присвячена розробці методичного, алгоритмічного і програмного забезпечення процесу розробки інформаційної моделі організації у виді системи реляційних баз даних. У роботі представлені методи та алгоритми, що дозволяють автоматизувати процес проектування бази даних. Запропоновано метод маніпулювання функціональними залежностями, заснований на матричному представленні булевих функцій. Суть методу полягає в можливості зіставити кожній функціональній залежності булеву функцію заперечення імплікації, а множини функціональних залежностей – диз'юнктивну функцію. Запропонований метод дозволяє вирішувати задачі, що виникають при проектуванні бази даних. Метод легко програмується і досить наочний. Розроблено алгоритм пошуку всіх потенційних ключів відношення, заснований на запропонованому методі маніпулювання функціональними залежностями, а також алгоритм переходу від діаграми «сутність-зв'язок» до відношень реляційної бази даних. Розроблено програми, котрі реалізують запропоновані алгоритми і методи. Запропоновано методику контролю і тестування проекту бази даних.
В дисертації одержано нові методи вирішення наукової задачі, що полягає в автоматизації процесу проектування реляційних баз даних, які є основою інформаційної моделі підприємства (організації, фірми і т.д.). Основними науковими висновками є:
На основі аналізу сучасних засобів автоматизації проектування інформаційних систем підприємства (CASE-засобів) показано, що, незважаючи на наявність на світовому ринку декількох сотень різних CASE-засобів, існують дуже вагомі аргументи на користь розробки в Україні наукових основ і створення власних засобів аналогічного призначення.
Запропоновано метод побудови концептуальної моделі (схеми) предметної області шляхом об'єднання представлень користувачів інформаційної системи. Відрізненою перевагою запропонованої процедури є те, що вона включає ряд послідовних, чітко визначених кроків, які дозволяють вирішувати проблему, що поки не піддається алгоритмізації, переходу від опису предметної області природною мовою до діаграми «сутність-зв'язок», перетворення якої в схему бази даних здійснюється за розробленим в дисертації алгоритмом.
На основі системного підходу розроблений метод визначення інформаційних потреб великого підприємства на основі «Єдиного скрізного плану-графіка розробки і постановки на виробництво виробів нової техніки (ЄСПГ)», що відрізняється тим, що забезпечує високий ступінь адекватності інформаційної моделі, яка створюється.
Сформульовано і доведено теореми, що обґрунтовують коректність переходу від системи функціональних залежностей до булевої функції. Цей результат дозволив звести слабко формалізовану задачу логічного виводу, що виникає при проектуванні реляційної бази даних, до використання добре розробленого апарата перетворень булевих функцій.
Запропонований метод застосовано при вирішенні задач побудови коректної реляційної бази даних: виключаються аномалії, до мінімуму зводиться надмірність.
Вирішена практично важлива задача знаходження всіх потенційних ключів відносин. У доступній літературі немає рішення цієї задачі. У той же час без її рішення неможливо привести базу даних до нормальної форми Бойса-Кодда, а, отже, й оптимізувати базу даних.
Дано алгоритм переходу від концептуального рівня опису предметної області до логічного – від ER-діаграми – до попередніх відносин реляційної бази даних. Остаточна логічна схема реляційної бази даних отримується у процесі нормалізації.
На нетривіальному прикладі показано, яким чином можна нормалізувати відносини шляхом їх приведення до нормальної форми Бойса-Кодда (НФБК) за допомогою використання отриманих результатів.
Представлено методику контролю та тестування проекту реляційної бази даних.
Розроблені алгоритми та методи були застосовані при розробці досить складних інформаційних моделей і показали високу ефективність. Застосування їх в декількох організаціях дало соціальний и економічний ефект, який підтверджено приведеними в додатку актами впровадження.
Положення дисертації використовуються при читанні лекцій і проведенні практичних занять за курсом «Системи баз даних» в Севастопольському національному технічному університеті.
Публікації автора:
Бутаков Є.А, Шаталова Ю.Г. Візуально-матричний метод у логічному проектуванні реляційних баз даних.// Логічне проектування. - Зб. науков. праць. - ІТК НАН Бєларусі. - Мінськ. - Вип. 3, 1998.- с.125-131.
Шаталова Ю.Г. Об'єднання представлень користувачів методом побудови діаграми «сутність-зв'язок» // Вісник СевДТУ. – Вип. 26: Інформатика, електроніка, зв'язок. Зб. науков. праць. - Севастополь, 2000.-с.134-140.
Шаталова Ю.Г. Евристичний метод оптимізації множини функціональних залежностей при проектуванні реляційних баз даних.// Штучний інтелект, №2. - Інститут проблем штучного інтелекту НАНУ.- Донецьк, 2000.- с. 252-257.
Шаталова Ю.Г. Проектування бази даних «Планктон Чорного моря» з використанням ER-діаграм // Екологія моря. – Вип. 53. Зб. науков. праць ІнБПМ НАНУ.- Севастополь, 2000.- с.102-105.
Шаталова Ю.Г. Аналіз інформаційних потреб при проектуванні баз даних великих промислових підприємств // Вісник СевДТУ. – Вип. 31: Інформатика, електроніка, зв'язок. Зб. науков. праць. – Севастополь, 2001-с.52-58.
Бутаков Є.А, Шаталова Ю.Г. Налагодження і тестування реляційних баз даних // Праці 4-й міжнародної конференції «Автоматизація проектування дискретних систем», (CAD DD'2001), том 3.– ІТК НАН Бєларусі. – Мінськ, 2001.-с.140-148.
Бутаков Е. А., Шаталова Ю. Г. Управління знаннями і безперервна освіта // Вісник СевДТУ. – Вип. 34: Педагогіка. Зб. науков. праць. – Севастополь, 2001.-с.68-73.
Шаталова Ю.Г. Евристичний метод оптимізації безлічі функціональних залежностей при проектуванні реляційних баз даних // Міжнародна наукова конференція: «Інтелектуалізація обробки інформації» ІОІ' 2000. – Тези доповідей. – Сімферополь, 2000.- с. 77.
Гребєнщикова И. Н, Шаталова Ю. Г. Виявлення інформаційних потреб при побудові концептуальної моделі предметної області // Міжнародна наукова конференція: «Інтелектуалізація обробки інформації» ІОІ' 2000. Тези доповідей. – Сімферополь, 2000. – с. 25.
Шаталова Ю. Г. Проектування бази даних «Планктон Чорного моря» з використанням ER-діаграм. // Міжнародна наукова конференція молодих вчених. “Понт Євксинський 2000.”- Тези доповідей. – Севастополь, 2000.-с. 70-71.
