Search academic texts

Information × Registration Number 2120U009195, Article popup.category Опубліковано, Стаття Title THE INDEPENDENCE OF THE AXIOMATIC SYSTEM OF MULTIVALUED DEPENDENCIES IN RELATION (TABLE) DATABASES popup.author Пузікова А. В.Puzikova A. V. popup.publication 15-05-2020 popup.source_user Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") popup.source https://ric.zp.edu.ua/article/view/201612 popup.publisher National University "Zaporizhzhia Polytechnic" Description Актуальність. Складність розуміння концепції багатозначних залежностей (при викладенні теоретичних основ якої використовується аксіоматичний підхід) в реляційних (табличних) базах даних призводить до проблем їх моделювання, що, в свою чергу, може стати причиною порушення цілісності даних. Частковому вирішенню цих питань сприяє пошук мінімальних за кількістю та потужністю компонент аксіоматик багатозначних залежностей; звідси випливає необхідність встановлення еквівалентності розглядуваних аксіоматик та доведення незалежності їх складових.Об’єктом дослідження є аксіоматики багатозначних залежностей. Метою роботи є встановлення еквівалентності двох аксіоматик багатозначних залежностей, одна з яких є зменшеною за кількістю та потужністю компонент, та доведення незалежності останньої.Метод. При побудові доведень використовуються теоретико-множинні та логіко-алгебраїчні методи. Еквівалентність двох аксіоматик багатозначних залежностей встановлено класично: наведено відношення синтаксичного слідування і побудовано послідовності багатозначних залежностей, які є доведеннями правил кожної аксіоматики із складових іншої. Для побудови доведення незалежності аксіоматики запропоновані моделі реляційних схем, такі, що для аксіоми або правила, незалежність яких доводиться, не можна побудувати доведення з множини інших аксіом або правил.Результати. Встановлено еквівалентність аксіоматики багатозначних залежностей, запропонованої групою вчених Бірі (Beeri), Фагіним (Fagin) і Говардом (Howard) і аксіоматики багатозначних залежностей Біскупа (Biskup). Доведено незалежність останньої аксіоматики у тому розумінні, що без втрати повноти не можна опустити ні єдину аксіому, ні жодне з правил виведення.Висновки. Доведена незалежність аксіоматичної системи багатозначних залежностей Біскупа, яка має не більше за кількістю та потужністю компонент ніж інші аксіоматики багатозначних залежностей; використання саме такої аксіоматики має переваги при розробці CASE-засобів (Computer-Aided Software Engineering tools), які містять реалізацію зведення схем реляційних баз даних до четвертої нормальної форми, а також при ручному проектуванні логічної моделі реляційної бази даних.  popup.nrat_date 2026-02-09 Close