Functional dependencies over XML documents with DTDs

Authors:
Sven Hartmann;Sebastian Link;Klaus-Dieter Schewe
Affiliations:
Massey Information Science Research Centre, Palmerston North, New Zealand;Massey Information Science Research Centre, Palmerston North, New Zealand;Massey Information Science Research Centre, Palmerston North, New Zealand
Venue:
Acta Cybernetica
Year:
2005

Citing 11
Cited 2

Restructuring hierarchical database objects

Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
The XML handbook

The XML handbook
Data on the Web: from relations to semistructured data and XML

Data on the Web: from relations to semistructured data and XML
Keys for XML

Proceedings of the 10th international conference on World Wide Web
A normal form for XML documents

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Entity-Relationship Modeling: Foundations of Database Technology

Entity-Relationship Modeling: Foundations of Database Technology
Axiomatizing functional dependencies in the higher-order entity-relationship model

Information Processing Letters
Information Modelling and Knowledge Bases XV

Information Modelling and Knowledge Bases XV
Multivalued dependencies and a 4NF for XML

CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Multivalued dependencies in XML

BNCOD'03 Proceedings of the 20th British national conference on Databases
Functional dependencies for XML

APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications

Redundancy, dependencies and normal forms for XML databases

ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Keys and Armstrong databases in trees with restructuring

Acta Cybernetica

Quantified Score

Hi-index	0.00

Visualization

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.