Functional Dependencies over XML Documents with DTDs

 Sven Hartmann, Sebastian Link, and Klaus-Dieter Schewe

Abstract:

 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. par endabstract enddocument

Footnotes

 HartmannthanksMassey Information Science Research Centre, Private Bag 11222, Palmerston North, New Zealand. E-mail: [s.hartman|ns.link|k.d.schewe]@massey.ac.nz