Access the full text.
Sign up today, get DeepDyve free for 14 days.
B. Thalheim (2010)
Entity-Relationship Modeling: Foundations Of Database Technology
P. Bernstein (1979)
Computational problems related to the design of normal form relational schemasACM Trans. Database Syst., 4
J. Wijsen (1999)
Temporal FDs on complex objectsACM Trans. Database Syst., 24
S. Link (2006)
On Multivalued Dependencies in Fixed and Undetermined Universes
B. Thalheim (1991)
Dependencies in relational databases, 126
M. Arenas, L. Libkin (2004)
A normal form for XML documentsACM Trans. Database Syst., 29
(1978)
Further normalization of the database relational model Englewood Cliffs (1972) 15. Delobel, C.: Normalisation and hierarchical dependencies in the relational data model
J. Biskup, R. Meyer (1987)
Design of Relational Database Schemes by Deleting Attributes in the Canonical DecompositionJ. Comput. Syst. Sci., 35
E.F. Codd (1972)
Courant Computer Science Symposia 6: Data Base Systems
(1982)
On the equivalence of data models
P. Bernstein (1976)
Synthesizing third normal form relations from functional dependenciesACM Trans. Database Syst., 1
B. Thalheim (2003)
Conceptual Modeling—ER 2003, Proceedings, number 2813 in Lecture Notes in Computer Science
Sven Hartmann, S. Link (2004)
Multi-valued dependencies in the presence of lists
Ronald Fagin, Moshe Vardi (1984)
The theory of data dependencies - a survey
C. Beeri, Ronald Fagin, J. Howard (1977)
A complete axiomatization for functional and multivalued dependencies in database relations
F. E. (2000)
A Relational Model of Data Large Shared Data Banks
J. Biskup (1978)
On the complementation rule for multivalued dependencies in database relationsActa Informatica, 10
P.A. Bernstein, N. Goodman (1980)
Proceedings of the 6th International Conference on Very Large Data Bases
J. Biskup, U. Dayal, P. Bernstein (1979)
SIGMOD Conference
(1978)
Normalisation and hierarchical dependencies in the relational data model
J. Biskup (1980)
Inferences of Multivalued Dependencies in Fixed and Undetermined UniversesTheor. Comput. Sci., 10
(1974)
Dependency structures of database relationships
A. Mendelzon (1979)
On Axiomatizing Multivalued Dependencies in Relational DatabasesJ. ACM, 26
Sven Hartmann, S. Link, K. Schewe (2006)
Functional and multivalued dependencies in nested databases generated by record and list constructorAnnals of Mathematics and Artificial Intelligence, 46
G. Weddell (1992)
Reasoning about functional dependencies generalized for semantic data modelsACM Trans. Database Syst., 17
(1972)
Further normalization of the database relational model
Armstrong’s Axioms, W. Armstrong, Yatsuka Nakamura (2007)
Armstrong's Axioms
Mustafa Sözat, A. Yazıcı (1996)
A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relationsProceedings of IEEE 5th International Fuzzy Systems, 3
Sven Hartmann, S. Link (2006)
On a problem of Fagin concerning multivalued dependencies in relational databasesTheor. Comput. Sci., 353
M. Sözat, A. Yazici (2001)
A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relationsFuzzy Sets Syst., 117
C. Zaniolo (1976)
Analysis and design of relational schemata for database systems.
M. Vincent, Jixue Liu, Chengfei Liu (2003)
A Redundancy Free 4NF for XML
Il-Yeol Song, K. Froehlich (1995)
Entity-relationship modelingIEEE Potentials, 13
Carmem Hara, S. Davidson (1999)
Reasoning about nested functional dependencies
M. Vincent, Jixue Liu (2003)
Multivalued Dependencies in XML
M. Levene, G. Loizou (1998)
Axiomatisation of Functional Dependencies in Incomplete RelationsTheor. Comput. Sci., 206
G. Grätzer (1978)
General Lattice Theory
Z. Tari, John Stokes, S. Spaccapietra (1997)
Object normal forms and dependency constraints for object-oriented schemataACM Trans. Database Syst., 22
(1987)
Fundamentals of dependency theory
C. Hara, S. Davidson (1999)
Proceedings of the 18th SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
B. Thalheim (2003)
Conceptual Treatment of Multivalued Dependencies
C. Delobel (1978)
Normalization and hierarchical dependencies in the relational data modelACM Trans. Database Syst., 3
M. Nakata (1996)
Proceedings of the Fifth IEEE International Conference on Fuzzy Systems
M.Y. Vardi (1987)
Trends in Theoretical Computer Science
R. Fagin, M.Y. Vardi (1986)
Mathematics of Information Processing: Proceedings of Symposia in Applied Mathematics
M. Vincent, J. Liu (2003)
Proceedings of the 20th British National Conference on Databases, number 2712 in Lecture Notes in Computer Science
J. Biskup, U. Dayal, P. Bernstein (1979)
Synthesizing independent database schemas
S. Link (2006)
Fourth International Symposium on Foundations of Information and Knowledge Systems, number 3861 in Lecture Notes in Computer Science
C. Beeri (1980)
On the menbership problem for functional and multivalued dependencies in relational databasesACM Trans. Database Syst., 5
P. Bernstein, N. Goodman (1980)
What does Boyce-Codd Normal Form Do?
C. Beeri, R. Fagin, J.H. Howard (1977)
Proceedings of the SIGMOD International Conference on Management of Data
M. Vincent, J. Liu, C. Liu (2003)
Proceedings of the 1st International XML Database Symposium, number 2824 in Lecture Notes in Computer Science
Y. Lien (1982)
On the Equivalence of Database ModelsJ. ACM, 29
S. Link (2006)
On the Logical Implication of Multivalued Dependencies with Null Values
P. Fischer, L. Saxton, Stan Thomas, D. Gucht (1985)
Interactions between Dependencies and Nested Relational StructuresJ. Comput. Syst. Sci., 31
M. Nakata (1996)
Dependencies in fuzzy databases: multivalued dependencyProceedings of IEEE 5th International Fuzzy Systems, 3
Ronald Fagin (1977)
Multivalued dependencies and a new normal form for relational databasesACM Trans. Database Syst., 2
Full hierarchical dependencies (FHDs) constitute a large class of relational dependencies. A relation exhibits an FHD precisely when it is the natural join over at least two of its projections that all share the same join attributes. Therefore, FHDs generalise multivalued dependencies (MVDs) in which case the number of these projections is precisely two. The implication of FHDs has originally been defined in the context of some fixed finite universe. This paper identifies a sound and complete set of inference rules for the implication of FHDs. This axiomatisation is very reminiscent of that for MVDs. Then, an alternative notion of FHD implication is introduced in which the underlying set of attributes is left undetermined. The first main result establishes a finite axiomatisation for FHD implication in undetermined universes. It is then formally clarified that the complementation rule is only a mere means for database normalisation. In fact, the second main result establishes a finite axiomatisation for FHD implication in fixed universes which allows to infer FHDs either without using the complementation rule at all or only in the very last step of the inference. This also characterises the expressiveness of an incomplete set of inference rules in fixed universes. The results extend previous work on MVDs by Biskup.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Jul 19, 2007
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.