Minimal coverage of generalized typed inclusion dependencies in databases
The paper discusses the theory and algorithms necessary to construct a minimal covering of generalized typed inclusion dependencies. Traditionally, the construction of minimal covering is used for all types of dependencies in order to obtain a non-redundant and consistent database design. Generalize...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2024-03-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1839 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849338712495751168 |
|---|---|
| author | Sergey V. Zykin |
| author_facet | Sergey V. Zykin |
| author_sort | Sergey V. Zykin |
| collection | DOAJ |
| description | The paper discusses the theory and algorithms necessary to construct a minimal covering of generalized typed inclusion dependencies. Traditionally, the construction of minimal covering is used for all types of dependencies in order to obtain a non-redundant and consistent database design. Generalized inclusion dependencies correspond to referential integrity constraints, when several main and several external relations are involved in one constraint, which corresponds to an ultragraph edge. In previous work, based on a study of the properties of dependencies, a system of axioms was presented with proof of consistency and completeness. In this work, the closures were studied for generalized typed inclusion dependencies. An algorithm for constructing closures has been developed and its correctness has been proven. The results obtained are further used to develop an algorithm for constructing a minimal covering. At the end of the article, examples are presented that demonstrate the operation of the algorithms. |
| format | Article |
| id | doaj-art-ba2899ddc3ed45178efc2f8336755d1b |
| institution | Kabale University |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2024-03-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-ba2899ddc3ed45178efc2f8336755d1b2025-08-20T03:44:19ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172024-03-01311788910.18255/1818-1015-2024-1-78-891403Minimal coverage of generalized typed inclusion dependencies in databasesSergey V. Zykin0Sobolev institute of mathematics SB RASThe paper discusses the theory and algorithms necessary to construct a minimal covering of generalized typed inclusion dependencies. Traditionally, the construction of minimal covering is used for all types of dependencies in order to obtain a non-redundant and consistent database design. Generalized inclusion dependencies correspond to referential integrity constraints, when several main and several external relations are involved in one constraint, which corresponds to an ultragraph edge. In previous work, based on a study of the properties of dependencies, a system of axioms was presented with proof of consistency and completeness. In this work, the closures were studied for generalized typed inclusion dependencies. An algorithm for constructing closures has been developed and its correctness has been proven. The results obtained are further used to develop an algorithm for constructing a minimal covering. At the end of the article, examples are presented that demonstrate the operation of the algorithms.https://www.mais-journal.ru/jour/article/view/1839databasegeneralized inclusion dependenciesminimal covering |
| spellingShingle | Sergey V. Zykin Minimal coverage of generalized typed inclusion dependencies in databases Моделирование и анализ информационных систем database generalized inclusion dependencies minimal covering |
| title | Minimal coverage of generalized typed inclusion dependencies in databases |
| title_full | Minimal coverage of generalized typed inclusion dependencies in databases |
| title_fullStr | Minimal coverage of generalized typed inclusion dependencies in databases |
| title_full_unstemmed | Minimal coverage of generalized typed inclusion dependencies in databases |
| title_short | Minimal coverage of generalized typed inclusion dependencies in databases |
| title_sort | minimal coverage of generalized typed inclusion dependencies in databases |
| topic | database generalized inclusion dependencies minimal covering |
| url | https://www.mais-journal.ru/jour/article/view/1839 |
| work_keys_str_mv | AT sergeyvzykin minimalcoverageofgeneralizedtypedinclusiondependenciesindatabases |