Efficient reasoning about XFDs with pre-image semantics

6Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free