Name
Title | ||
|---|---|---|
Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria |
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1007/978-3-319-19216-1_5 | THEORY AND ENGINEERING OF COMPLEX SYSTEMS AND DEPENDABILITY |
Keywords | Field | DocType |
table databases,functional dependencies,multivalued dependencies,completeness of axiomatic system | Axiomatic system,Multivalued dependency,Correctness,Cardinality,Functional dependency,Coincidence,Completeness (statistics),Syntax,Database,Mathematics | Conference |
Volume | ISSN | Citations |
365 | 2194-5357 | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| dmitriy bui | 1 | 0 | 0.34 |
| anna puzikova | 2 | 0 | 0.34 |