Unlocking Keys for XML Trees

  • Sven Hartmann
  • Sebastian Link
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4353)

Abstract

We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomatisation proposed for XML keys is incomplete even if key paths are simple. Therefore, the axiomatisation and also the implication problem for XML keys are still unsolved.

We propose a set of inference rules that is indeed sound and complete for the implication of XML keys with simple key paths. Our completeness proof enables us to characterise the implication of XML keys in terms of the reachability problem of nodes in a digraph. This results in a quadratic time algorithm for deciding XML key implication, and shows that reasoning for XML keys is practically efficient.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)MATHGoogle Scholar
  2. 2.
    Apparao, V., et al.: Document object model (DOM) level 1 specification, W3C recommendation (October 1998), http://www.w3.org/TR/REC-DOM-Level-1/
  3. 3.
    Arenas, M., Libkin, L.: A normal form for XML documents. TODS 29(1), 195–232 (2004)CrossRefGoogle Scholar
  4. 4.
    Arenas, M., Libkin, L.: An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2), 246–283 (2005)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Benedikt, M., Fan, W., Kuper, G.: Structural properties of XPath fragments. TCS 336(1), 3–31 (2005)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F.: Extensible markup language (XML) 1.0 (3rd edn.) W3C recommendation (February 2004) http://www.w3.org/TR/2004/REC-xml-20040204/
  7. 7.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about keys for XML. In: DBPL, pp. 133–148 (2001)Google Scholar
  8. 8.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Keys for XML. Computer Networks 39(5), 473–487 (2002)CrossRefGoogle Scholar
  9. 9.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about keys for XML. Inf. Syst. 28(8), 1037–1063 (2003)CrossRefGoogle Scholar
  10. 10.
    Buneman, P., Fan, W., Siméon, J., Weinstein, S.: Constraints for semi-structured data and XML. SIGMOD Record 30(1), 47–54 (2001)CrossRefGoogle Scholar
  11. 11.
    Buneman, P., Fan, W., Weinstein, S.: Path constraints in semistructured databases. JCSS 61(2), 146–193 (2000)MATHMathSciNetGoogle Scholar
  12. 12.
    Clark, J., DeRose, S.: XML path language (XPath) version 1.0, W3C recommendation (November 1999), http://www.w3.org/TR/xpath
  13. 13.
    Deutsch, A., Tannen, V.: Containment and integrity constraints for XPath. In: KRDB (2001)Google Scholar
  14. 14.
    Fagin, R., Vardi, M.Y.: The theory of data dependencies. In: ICALP, pp. 1–22 (1984)Google Scholar
  15. 15.
    Fan, W.: XML constraints. In: DEXA Workshops, pp. 805–809 (2005)Google Scholar
  16. 16.
    Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. J. ACM 49(3), 368–406 (2002)CrossRefMathSciNetGoogle Scholar
  17. 17.
    Fan, W., Siméon, J.: Integrity constraints for XML. JCSS 66(1), 254–291 (2003)MATHGoogle Scholar
  18. 18.
    Gottlob, G., Koch, C., Pichler, R.: Efficient algorithms for processing XPath queries. TODS 30(2), 444–491 (2005)CrossRefMathSciNetGoogle Scholar
  19. 19.
    Hara, C., Davidson, S.: Reasoning about nested functional dependencies. In: PODS, pp. 91–100 (1999)Google Scholar
  20. 20.
    Hartmann, S., Link, S.: More functional dependencies for XML. In: Kalinichenko, L.A., Manthey, R., Thalheim, B., Wloka, U. (eds.) ADBIS 2003. LNCS, vol. 2798, pp. 355–369. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  21. 21.
    Hartmann, S., Link, S.: Multivalued dependencies in the presence of lists. In: PODS, pp. 330–341 (2004)Google Scholar
  22. 22.
    Hartmann, S., Trinh, T.: Axiomatising functional dependencies for XML with frequencies. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol. 3861, pp. 159–178. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  23. 23.
    Jungnickel, D.: Graphs, Networks and Algorithms. Springer, Heidelberg (1999)Google Scholar
  24. 24.
    Kay, M.: XSL transformations (XSLT) version 2.0 W3C candidate recommendation (November 2005), http://www.w3.org/TR/xslt20/
  25. 25.
    Miklau, G., Suciu, D.: Containment and equivalence for a fragment of XPath. J. ACM 51(1), 2–45 (2004)CrossRefMathSciNetGoogle Scholar
  26. 26.
    Neven, F., Schwentick, T.: XPath containment in the presence of disjunction, DTDs, and variables. In: ICDT, pp. 315–329 (2003)Google Scholar
  27. 27.
    Paredaens, J., De Bra, P., Gyssens, M., Van Gucht, D.: The Structure of the Relational Database Model. Springer, Heidelberg (1989)MATHGoogle Scholar
  28. 28.
    Suciu, D.: On database theory and XML. SIGMOD Record 30(3), 39–45 (2001)CrossRefGoogle Scholar
  29. 29.
    Thalheim, B.: Dependencies in Relational Databases, Teubner (1991)Google Scholar
  30. 30.
    Thompson, H., Beech, D., Maloney, M., Mendelsohn, N.: XML Schema Part 1: Structures Second Edition, W3C Recommendation (October 28, 2004), http://www.w3.org/TR/xmlschema-1/
  31. 31.
    Vianu, V.: A web odyssey: from Codd to XML. SIGMOD Record 32(2), 68–77 (2003)CrossRefGoogle Scholar
  32. 32.
    Vincent, M., Liu, J., Liu, C.: Strong functional dependencies and their application to normal forms in XML. TODS 29(3), 445–462 (2004)CrossRefGoogle Scholar
  33. 33.
    Widom, J.: Data management for XML: Research directions. Data Eng. Bull. 22(3), 44–52 (1999)Google Scholar
  34. 34.
    Wood, P.: Containment for XPath fragments under DTD constraints. In: ICDT, pp. 300–314 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Sven Hartmann
    • 1
  • Sebastian Link
    • 1
  1. 1.Information Science Research CentreMassey UniversityNew Zealand

Personalised recommendations