Expressive, yet tractable XML keys

Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, EDBT'09

Volumn , Issue , 2009, Pages 357-367

  Hartmann, Sven ^a   Link, Sebastian ^b  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

DATA VALUES; IMPLICATION PROBLEM; INFERENCE RULES; REACHABILITY PROBLEM; SUBTREES; XML DATA; XML KEY; XML SEMANTICS;

DATA PROCESSING; DATABASE SYSTEMS; INFERENCE ENGINES; KEYS (FOR LOCKS); XML;

MARKUP LANGUAGES;

EID: 70349135779     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1516360.1516402     Document Type: Conference Paper

References (38)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. V. Apparao et al. Document object model (DOM) Level 1 Specification, W3C Recommendation, Oct. 1998. http://www.w3.org/TR/REC-DOM-Level-l/.
3. M. Arenas, W. Fan, and L. Libkin. What's hard about XML schema constraints? In Proceedings of the 13th International Conference Database and Expert Systems Applications - DEXA 2002, number 2453 in Lecture Notes in Computer Science, pages 269-278. Springer, 2002.
4. M. Arenas and L. Libkin. A normal form for XML documents. Trans. Database Syst., 29(l):195-232, 2004.
5. M. Arenas and L. Libkin. An information-theoretic approach to normal forms for relational and XML data. J. ACM, 52(2):246-283, 2005.
6. M. Benedikt, W. Fan, and G. Kuper. Structural properties of XPath fragments. Theor. Gomput. Sci., 336(1):3-31, 2005.
7. T. Bray, J. Paoli, C. M. Sperberg-McQueen, E. Maler, and F. Yergeau. Extensible markup language (XML) 1.0 (Fourth Edition) W3C Recommendation, Aug. 2006. http://www.w3.org/TR/xml/.
8. P. Buneman, S. Davidson, W. Fan, C. Hara, and W. Tan. Keys for XML. Computer Networks, 39(5):473-487, 2002.
9. P. Buneman, S. Davidson, W. Fan, C. Hara, and W. Tan. Reasoning about keys for XML. Inf. Syst., 28(8):1037-1063, 2003.
10. P. Buneman, W. Fan, J. Siméon, and S. Weinstein. Constraints for semi-structured data and XML. SIGMOD Record, 30(l):47-54, 2001.
11. P. Buneman, W. Fan, and S. Weinstein. Path constraints in semistructured databases. J. Comput. Syst. Sci, 61(2):146-193, 2000.
12. S. Davidson, W. Fan, and C. Hara. Propagating XML constraints to relations. J. Comput. Syst. Sci., 73(3):316-361, 2007.
13. S. Davidson, W. Fan, and C. Hara. Erratum to "Propagating XML constraints to relations". J. Comput. Syst. Sci., 74(3):404-405, 2008.
14. A. Deutsch and V. Tannen. XML queries and constraints, containment and reformulation. Theor. Comput. Sci., 336(l):57-87, 2005.
15. W. Fan. XML constraints. In DEXA Workshops, pages 805-809, 2005.
16. W. Fan and L. Libkin. On XML integrity constraints in the presence of DTDs. J. ACM, 49(3):368-406, 2002.
17. W. Fan and J. Siméon. Integrity constraints for XML. J. Comput. Syst. Sci., 66(1):254-291, 2003.
18. S. Hartmann, H. Köhler, S. Link, T. Trinh, and J. Wang. On the notion of an XML key. In Proceedings of the 3rd International Workshop on Semantics in Data and Knowledge Bases - SDKB 2008, number 4925 in Lecture Notes in Computer Science, pages 114-123. Springer, 2007.
19. S. Hartmann and S. Link Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Logic, 152(1-3):84-106, 2008.
20. S. Hartmann and S. Link. Numerical constraints for XML. In Proceedings of the 14th International Workshop on Logic, Language, Information and Computation - WoLLIC 2007, number 4576 in Lecture Notes in Computer Science, pages 203-217. Springer, 2007.
21. S. Hartmann and S. Link. Unlocking keys for XML trees. In Proceedings of the 11th International Conference on Database Theory - ICDT 2007, number 4353 in Lecture Notes in Computer Science, pages 104-118. Springer, 2007.
22. S. Hartmann and T. Trinh. Axiomatising functional dependencies for XML with frequencies. In Proceedings of the 4th International Symposium, on Foundations of Information and Knowledge Systems-FoIKS 2006, number 3861 in Lecture Notes in Computer Science, pages 159-178. Springer, 2006.
23. D. Jungnickel. Graphs, Networks and Algorithms. Springer, 1999.
24. J. Clark and S. DeRose. XML Path Language (XPath) Version 1.0 W3C Recommendation Nov. 1999. http://www.w3.org/TR/xpath.
25. S. Link. On the Implication of Multivalued Dependencies in Partial Database Relations. Int. J. Found. Comput. Sci., 19(3):691-715, 2008.
26. S. Link. Charting the completeness frontier of inference systems for multivalued dependencies. Acta Inf., 45(7-8):565-591, 2008.
27. G. Miklau and D. Suciu. Containment and equivalence for a fragment of XPath. J. ACM, 51(l):2-45, 2004.
28. F. Neven and T. Schwentick. On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Logical Methods in Computer Science, 2(3), 2006.
29. S. e. a. Pemberton. XHTML 1.0 The Extensible HyperText Markup Language (Second Edition) W3C Recommendation, Jan. 2000. http://www.w3.org/TR/xhtmll.
30. L. V. Saxton and X. Tang. Tree Multivalued Dependencies for XML Datasets. In Proceedings of the 5th International Conference on Advances in Web-Age Information Management - WAIM 2004, number 3129 in Lecture Notes in Computer Science, pages 357-367. Springer, 2004.
31. D. Suciu. On database theory and XML. SIGMOD Record, 30(3):39-45, 2001.
32. H. Thompson, D. Beech, M. Maloney, and N. Mendelsohn. XML Schema Part 1: Structures second edition, W3C Recommendation, Oct. 2004. http://www.w3.org/TR/ xmlschema-l/.
33. V. Vianu. A web odyssey: from Codd to XML. SIGMOD Record, 32(2):68-77, 2003.
34. M. W. Vincent, J. Liu and C. Liu. A Redundancy Free 4NF for XML. In Proceedings of the First International XML Database Symposium - XSym 2003, number 2824 in Lecture Notes in Computer Science, pages 254-266. Springer, 2003.
35. M. W. Vincent, J. Liu and C. Liu. Strong functional dependencies and their application to normal forms in XML. Trans. Database Syst., 29(3):445-462, 2004.
36. M. W. Vincent, J. Liu and M. K. Mohania. On the equivalence between FDs in XML and FDs in relations. Acta Inf., 44(3-4): 207-247, 2007.
37. J. Wang. Using tree patterns for flexible handling of XML trees. Master's thesis, Massey University, 2007.
38. P. Wood. Containment for XPath fragments under DTD constraints. In Proceedings of the 9th International Conference on Database Theory - ICDT 2003, pages 300-314, 2003.