2015 | OriginalPaper | Buchkapitel
Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria
verfasst von : Dmitriy Bui, Anna Puzikova
Erschienen in: Theory and Engineering of Complex Systems and Dependability
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Axiomatics for multivalued dependencies in table databases and axiomatics for functional and multivalued dependencies are reviewed; the completeness of these axiomatics is established in terms of coincidence of syntactic and semantic consequence relations; the completeness criteria for these axiomatic systems are formulated in terms of cardinalities (1) of the universal domain
D
, which is considering in interpretations, and (2) the scheme
R
, which is a parameter of all constructions, because only the tables which attributes belong to this scheme
R
are considering.
The results obtained in this paper and developed mathematical technique can be used for algorithmic support of normalization in table databases.