Чи є інструмент для перевірки нормалізації моєї бази даних до третьої нормальної форми?

Я дізнався про нормалізацію нещодавно і розумію, наскільки це важливо при впровадженні нової схеми.

Як я можу перевірити, чи відповідає моя база даних 2NF або 3NF?

Огляд вручну - це вірний варіант, але я шукаю тут автоматизований інструмент.

Я не шукаю інструмент "крапка та клацання", більше щось, що підкреслить можливі оптимізації, щоб зробити таблицю 3NF сумісною. Я думаю, він може використовувати статистику на основі хороших вибіркових даних та / або семантичного аналізу назв стовпців.

Нормалізація абсолютно використовується в реальному світі ... і, сподіваємось, ви знаєте, що 3NF - це лише третій із ... що зараз, 8? Але 3NF має бути легкою ціллю.

Однак ... я б ризикнув сказати, що такого інструменту не може бути.

Нормалізація технічно є атрибутом кожної таблиці. У межах даної бази даних різні таблиці можуть мати різний рівень нормалізації.

Кожна таблиця представляє факти ... факти про випадки певного типу речі (особа, рахунок, замовлення, відправлення, предмет, місцезнаходження), включаючи іноді іноземні ключі, які призводять вас до інших видів фактів про цю річ.

Нормалізація пов'язана з тим, наскільки точно і ефективно представлені факти в таблицях, а також здатністю дизайну таблиці запобігати неоднозначним і зайвим шаблонам даних.

Таким чином, потрібно розуміння фактичних фактів ... що виходить за рамки автоматизованих інструментів.

Q: Is a table with { student, subject, instructor } in 3NF?
A: What are students, subjects and instructors?

У світі, де всі викладачі викладали всі предмети, і кожен студент міг взяти будь-яку комбінацію, але не більше одного курсу з кожного предмету від кожного викладача, ця таблиця дійсно може бути сказана в 3NF. У реальному світі заявляти про претензію 3NF на цю таблицю є абсурдом.

Щоб зрозуміти, що це не в 3NF, потрібно розуміти природу фактів, які він представляє. У нашій реальності ця таблиця не буде 3NF, оскільки (серед інших причин) предмет та викладач асоціюються разом так, що не мають нічого спільного зі студентом. Якщо у нас є курси, де викладачі викладають предмети, що зберігаються в іншому місці в нашій базі даних, чому б ми копіювали обидва значення тут, а не іноземний ключ з іншої таблиці, що вказує, що студент був підписаний на курс? Якщо інструктор буде замінений, нам доведеться змінити кілька записів у декількох місцях.

Чим більше нормалізована база даних, тим суттєвіше вона відповідає дійсному світу та самому собі, і тим складніше, якщо факти бази даних будуть ненавмисно неправдивими. Дизайн баз даних - це мистецтво, але це, безумовно, і наука.

Незважаючи на те, що я не бачу очей з усім, що він пише, я б рекомендував книгу Кріса Дата, « Дизайн бази даних та реляційну теорію: нормальні форми та все те джаз», яка вкладає у сумні деталі основні теорії реляційної моделі.

Частина сенсу використання формальних методів при розробці реляційної теорії полягала в розробці процедур, які можна було б автоматизувати. Я впевнений, що CJ Date виходить прямо і говорить про це у своєму вступі до систем баз даних .

Кілька інструментів CASE, випущені наприкінці 1980-х або на початку 1990-х років, можуть отримати будь-яку можливу схему 5NF або шляхом аналізу діаграм ER, або за допомогою статистичного аналізу зразкових даних.

Visio Enterprise Architect (я думаю) є відносно недавнім інструментом.

Я дуже сумніваюся, що ви все ще потребуєте відповіді, але якщо ви чи хтось інший може отримати користь, ви можете спробувати спробувати цей інструмент: http://uisacad5.uis.edu/cgi-bin/mcrem2/ database_design_tool.cgi

Я думаю, що якби ви могли написати інструмент для цього, для роботи все одно знадобиться огляд вручну. нормальні форми визначаються на основі функціональних залежностей, і їх неможливо визначити з простого огляду даних. Іншими словами, для визначення того, чи існує функціональна залежність, потрібно скоріше індуктивна, а не дедуктивна логіка.