The study of integrity constraints has been identified as one of the major challenges in XML database research. The main difficulty is finding a balance between the expressiveness and the existence of automated reasoning tools. We investigate a previous proposal for functional dependencies in XML (XFDs) that is based on homomorphisms between data trees and schema trees. We demonstrate that reasoning about our XFDs is well-founded. We provide a finite axiomatisation and show that their implication is equivalent to the logical implication of propositional Horn clauses and thus decidable in time linear in the size of the constraints. Hence, our XFDs do not only capture valuable semantic information but also permit efficient automated reasoning support. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Hartmann, S., Link, S., & Trinh, T. (2007). Efficient reasoning about XFDs with pre-image semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4443 LNCS, pp. 1070–1074). Springer Verlag. https://doi.org/10.1007/978-3-540-71703-4_107
Mendeley helps you to discover research relevant for your work.