Foundations of Information and Knowledge Systems

Volume 5956 of the series Lecture Notes in Computer Science pp 94-113

On the Existence of Armstrong Data Trees for XML Functional Dependencies

  • Sven HartmannAffiliated withClausthal University of Technology
  • , Henning KöhlerAffiliated withThe University of Queensland
  • , Thu TrinhAffiliated withClausthal University of Technology

* Final gross prices may vary according to local VAT.

Get Access


Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set Σ from a fixed constraint class \(\mathcal Z\) satisfies precisely those constraints from \(\mathcal Z\) that are logically implied by Σ. In this paper we study Armstrong data trees for functional dependencies for XML-encoded data in the context of a simple XML tree model reflecting the permitted parent-child relationships together with their frequencies.