Functional dependencies over XML documents with DTDs

Hartmann Sven and Link Sebastian and Schewe Klaus-Dieter: Functional dependencies over XML documents with DTDs. In: Acta cybernetica, (17) 1. pp. 153-171. (2005)

[thumbnail of Hartmann_2005_ActaCybernetica.pdf]
Cikk, tanulmány, mű

Download (224kB) | Preview


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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2005
Volume: 17
Number: 1
ISSN: 0324-721X
Page Range: pp. 153-171
Language: English
Place of Publication: Szeged
Related URLs:
Uncontrolled Keywords: Számítástechnika, Nyelvészet - számítógép alkalmazása
Additional Information: Bibliogr.: p. 170-171. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 15. 11:55

Actions (login required)

View Item View Item