Maintaining Consistency of Integrated XML Trees

  • Authors:
  • Wilfred Ng

  • Affiliations:
  • -

  • Venue:
  • WAIM '02 Proceedings of the Third International Conference on Advances in Web-Age Information Management
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We extend FDs to be satisfied in an integrated XML document by comparing the values of leaf nodes in a specified context of its corresponding XML tree and show that Lien and Atzeni's axiom system for FDs in XML trees is sound and complete. Given an XML tree T and a set of FDs F defined over a targeted functional path expressions 驴, we tackle the problem of finding the most precise approximation of T. We formalize the notion of an integrated XML tree by allowing its data nodes degenerating into sets of strings. Each string in such a degenerated set is interpreted as being equally true in an integrated XML document. Our main contribution is that we develop a novel and efficient XChase procedure as a tool to maintain the consistency of T with respect to F.