Functional Dependencies over XML Documents with DTDs

In this article an axiomatisation for functional dependencies over XML documents is presented. The approach is based on a representation of XML document type definitions (or XML schemata) by nested attributes using constructors for records, disjoint unions and lists, and a particular null value, which covers optionality. Infinite structures that may result from referencing attributes in XML are captured by rational trees. Using a partial order on nested attributes we obtain non-distributive Brouwer algebras. The operations of the Brouwer algebra are exploited in the soundness and completeness proofs for derivation rules for functional dependencies.

[1]  Klaus-Dieter Schewe,et al.  Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model , 2003, Inf. Process. Lett..

[2]  Charles F. Goldfarb,et al.  The XML Handbook , 1998 .

[3]  Yasushi Kiyoki,et al.  Information Modelling and Knowledge Bases XXV , 2004 .

[4]  Klaus-Dieter Schewe,et al.  Weak Functional Dependencies in Higher-Order Datamodels , 2004, FoIKS.

[5]  Serge Abiteboul,et al.  Restructuring Hierarchical Database Objects , 1988, Theor. Comput. Sci..

[6]  Millist Walter Vincent,et al.  THE SEMANTIC JUSTIFICATION FOR NORMAL FORMS IN RELATIONAL DATABASE DESIGN , 1994 .

[7]  Nicolás Marín,et al.  Review of Data on the Web: from relational to semistructured data and XML by Serge Abiteboul, Peter Buneman, and Dan Suciu. Morgan Kaufmann 1999. , 2003, SGMD.

[8]  Jixue Liu,et al.  Functional Dependencies for XML , 2003, APWeb.

[9]  Marcelo Arenas,et al.  A normal form for XML documents , 2002, PODS '02.

[10]  Wenfei Fan,et al.  Keys for XML , 2002, Comput. Networks.

[11]  Sven Hartmann,et al.  On Functional Dependencies in Advanced Data Models , 2003, Electron. Notes Theor. Comput. Sci..

[12]  Bernhard Thalheim,et al.  Fundamental Concepts of Object Oriented Databases , 1993, Acta Cybern..

[13]  Klaus-Dieter Schewe,et al.  Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists , 2004, FoIKS.

[14]  Bernhard Thalheim,et al.  Dependencies in relational databases , 1991, Teubner-Texte zur Mathematik.

[15]  Bernhard Thalheim,et al.  Entity-relationship modeling - foundations of database technology , 2010 .

[16]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[17]  Jixue Liu,et al.  Multivalued Dependencies and a 4NF for XML , 2003, CAiSE.

[18]  Attila Sali.  Minimal Keys in Higher-Order Datamodels , 2004, FoIKS.

[19]  Jixue Liu,et al.  Multivalued Dependencies in XML , 2003, BNCOD.