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, whi...
Saved in:
| Main Authors: | |
|---|---|
| Format: | Article |
| Published: |
2005
|
| Series: | Acta cybernetica
17 No. 1 |
| Kulcsszavak: | Számítástechnika, Nyelvészet - számítógép alkalmazása |
| Subjects: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12758 |
| Summary: | 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. |
|---|---|
| Physical Description: | 153-171 |
| ISSN: | 0324-721X |