Пошук академічних текстів

Інформація × Реєстраційний номер 2120U009195, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи НЕЗАЛЕЖНІСТЬ АКСІОМАТИКИ БАГАТОЗНАЧНИХ ЗАЛЕЖНОСТЕЙ В РЕЛЯЦІЙНИХ (ТАБЛИЧНИХ) БАЗАХ ДАНИХ Автор Пузікова А. В.Puzikova A. V. Дата публікації 15-05-2020 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/201612 Видання National University "Zaporizhzhia Polytechnic" Опис Актуальність. Складність розуміння концепції багатозначних залежностей (при викладенні теоретичних основ якої використовується аксіоматичний підхід) в реляційних (табличних) базах даних призводить до проблем їх моделювання, що, в свою чергу, може стати причиною порушення цілісності даних. Частковому вирішенню цих питань сприяє пошук мінімальних за кількістю та потужністю компонент аксіоматик багатозначних залежностей; звідси випливає необхідність встановлення еквівалентності розглядуваних аксіоматик та доведення незалежності їх складових.Об’єктом дослідження є аксіоматики багатозначних залежностей. Метою роботи є встановлення еквівалентності двох аксіоматик багатозначних залежностей, одна з яких є зменшеною за кількістю та потужністю компонент, та доведення незалежності останньої.Метод. При побудові доведень використовуються теоретико-множинні та логіко-алгебраїчні методи. Еквівалентність двох аксіоматик багатозначних залежностей встановлено класично: наведено відношення синтаксичного слідування і побудовано послідовності багатозначних залежностей, які є доведеннями правил кожної аксіоматики із складових іншої. Для побудови доведення незалежності аксіоматики запропоновані моделі реляційних схем, такі, що для аксіоми або правила, незалежність яких доводиться, не можна побудувати доведення з множини інших аксіом або правил.Результати. Встановлено еквівалентність аксіоматики багатозначних залежностей, запропонованої групою вчених Бірі (Beeri), Фагіним (Fagin) і Говардом (Howard) і аксіоматики багатозначних залежностей Біскупа (Biskup). Доведено незалежність останньої аксіоматики у тому розумінні, що без втрати повноти не можна опустити ні єдину аксіому, ні жодне з правил виведення.Висновки. Доведена незалежність аксіоматичної системи багатозначних залежностей Біскупа, яка має не більше за кількістю та потужністю компонент ніж інші аксіоматики багатозначних залежностей; використання саме такої аксіоматики має переваги при розробці CASE-засобів (Computer-Aided Software Engineering tools), які містять реалізацію зведення схем реляційних баз даних до четвертої нормальної форми, а також при ручному проектуванні логічної моделі реляційної бази даних.  Додано в НРАТ 2026-02-09 Закрити