Efficient reasoning about XFDs with pre-image semantics

  • Authors:

  • Sven Hartmann;Sebastian Link;Thu Trinh

  • Affiliations:

  • Information Science Research Centre, Department of Information Systems, Massey University, Palmerston North, New Zealand;Information Science Research Centre, Department of Information Systems, Massey University, Palmerston North, New Zealand;Information Science Research Centre, Department of Information Systems, Massey University, Palmerston North, New Zealand

  • Venue:
  • DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.