Numerical constraints on XML data

Information and Computation

Volumn 208, Issue 5, 2010, Pages 521-544

  Hartmann, Sven ^a   Link, Sebastian ^b  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Axiomatisation; Complexity; Implication; Integrity; Numerical constraint; Shortest path; XML

Indexed keywords

AXIOMATISATION; CARDINALITY CONSTRAINTS; COMPLEXITY; DATA MODELLING; DATA VALUES; DECISION PROBLEMS; GENERALISATION; IMPLICATION PROBLEM; INDEX SELECTION; QUADRATIC TIME; SHORTEST PATH; SHORTEST PATH METHOD; THEORY AND PRACTICE; UPPER BOUND; XML DATA; XML ENCRYPTION; XML KEY; XPATH QUERIES;

CRYPTOGRAPHY; DATA PROCESSING; GRAPH THEORY; KEYS (FOR LOCKS); MARKUP LANGUAGES; SPECIFICATIONS; XML;

NUMERICAL METHODS;

EID: 77249108247     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2008.09.004     Document Type: Article

References (46)

1. Abiteboul S., Hull R., and Vianu V. Foundations of Databases (1995), Addison-Wesley, Reading, MA
2. Amer-Yahia S., Cho S., Lakshmanan L., and Srivastava D. Tree pattern query minimization. VLDB J. 11 4 (2002) 315-331
3. V. Apparao et al., Document object model (DOM) level 1 specification, W3C recommendation, October 1998. Available from: .
4. M. Arenas, W. Fan, L. Libkin, What's hard about XML schema constraints? in: DEXA, Lecture Notes in Computer Science, vol. 2453, Springer, Berlin, 2002, pp. 269-278.
5. Arenas M., and Libkin L. A normal form for XML documents. ACM Trans. Database Syst. 29 1 (2004) 195-232
6. Benedikt M., Fan W., and Kuper G. Structural properties of XPath fragments. Theor. Comput. Sci. 336 1 (2005) 3-31
7. S. Boag, D. Chamberlin, M. Fernández, D. Florescu, J. Robie, Siméon, J. XQuery 1.0: an XML query language, W3C recommendation, January 2007. Available from: .
8. T. Bray, J. Paoli, C.M. Sperberg-McQueen, E. Maler, F. Yergeau, Extensible Markup Language (XML) 1.0, W3C Recommendation, third ed., February 2004. Available from: .
9. Buneman P., Davidson S., Fan W., Hara C., and Tan W. Keys for XML. Comput. Networks 39 5 (2002) 473-487
10. Buneman P., Davidson S., Fan W., Hara C., and Tan W. Reasoning about keys for XML. Inform. Syst. 28 8 (2003) 1037-1063
11. Buneman P., Fan W., Siméon J., and Weinstein S. Constraints for semi-structured data and XML. SIGMOD Record 30 1 (2001) 47-54
12. D. Chamberlin, D. Florescu, J. Melton, J. Robie, J. Siméon, XQuery update facility, W3C candidate recommendation, August 2008. Available from: .
13. J. Chomicki, Consistent query answering: five easy pieces, in: ICDT (2007), Lecture Notes in Computer Science, vol. 4353, Springer, Berlin, pp. 1-17.
14. J. Clark, S. DeRose, XML path language (XPath) version 1.0, W3C recommendation, November 1999. Available from: .
15. A. Deutsch, V. Tannen, Containment and integrity constraints for XPath, in: KRDB, 2001.
16. W. Fan, XML constraints, in: DEXA Workshops, 2005.
17. Fan W., and Libkin L. On XML integrity constraints in the presence of DTDs. J. ACM 49 3 (2002) 368-406
18. Fan W., and Siméon J. Integrity constraints for XML. J. Comput. Syst. Sci. 66 1 (2003) 254-291
19. Gottlob G., Koch C., and Pichler R. Efficient algorithms for processing XPath queries. ACM Trans. Database Syst. 30 2 (2005) 444-491
20. Grant J., and Minker J. Inferences for numerical dependencies. Theor. Comput. Sci. 41 (1985) 271-287
21. B. Hammerschmidt, M. Kempa, V. Linnemann, A selective key-oriented XML index for the index selection problem in XDBMS, in DEXA, Lecture Notes in Computer Science, vol. 3180, Springer, Berlin, 2004, pp. 273-284.
22. Hartmann S. On the implication problem for cardinality constraints and functional dependencies. Ann. Math. Art. Intell. 33 (2001) 253-307
23. S. Hartmann, Soft constraints and heuristic constraint correction in Entity-Relationship modelling, in: Semantics in Databases, Lecture Notes in Computer Science, vol. 2582, Springer, Berlin, 2001, pp. 82-99.
24. S. Hartmann, Reasoning about participation constraints and Chen's constraints, in: ADC, Conferences in Research and Practice in Information Technology, vol. 17, ACS, 2003, pp. 105-113.
25. S. Hartmann, H. Koehler, S. Link, T. Trinh, J. Wang, On the notion of an XML key, in: SDKB, Lecture Notes in Computer Science, vol. 4925, Springer, Berlin, 2008, pp. 103-112.
26. S. Hartmann, S. Link, More functional dependencies for XML, in: AdBIS, Lecture Notes in Computer Science, vol. 2798, Springer, Berlin, 2003, pp. 355-369.
27. Hartmann S., and Link S. Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Logic 152 1-3 (2008) 84-106
28. Hartmann S., and Link S. Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst. 34 2 (2009) (article 10)
29. S. Hartmann, S. Link, Expressive, yet tractable XML keys, in: EDBT, ACM International Conference Proceeding Series, vol. 360, ACM, 2009, pp. 357-367.
30. S. Hartmann, T. Trinh, Axiomatising functional dependencies for XML with frequencies, in: FoIKS, Lecture Notes in Computer Science, vol. 3861, Springer, Berlin, 2006, pp. 159-178.
31. T. Imamura, B. Dillaway, E. Simon, XML encryption syntax and processing, W3C recommendation, December 2002. Available from: .
32. Jungnickel D. Graphs, Networks and Algorithms (1999), Springer, Berlin
33. Lenzerini M., and Nobili P. On the satisfiability of dependency constraints in entity-relationship schemata. Inform. Syst. 15 4 (1990) 453-461
34. Liddle S., Embley D., and Woodfield S. Cardinality constraints in semantic data models. Data Knowl. Eng. 11 (1993) 235-270
35. Miklau G., and Suciu D. Containment and equivalence for a fragment of XPath. J. ACM 51 1 (2004) 2-45
36. Neven F., and Schwentick T. On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Logic. Methods Comput. Sci. 2 3:1 (2006)
37. Piatetsky-Shapiro G. The optimal selection of secondary indices is NP-complete. SIGMOD Record 13 2 (1983) 72-75
38. Sagiv Y., Delobel C., Stott Parker Jr. D., and Fagin R. An equivalence between relational database dependencies and a fragment of propositional logic. J. ACM 28 3 (1981) 435-453
39. Suciu D. On database theory and XML. SIGMOD Record 30 3 (2001) 39-45
40. Thalheim B. Foundations of Entity-Relationship Modeling (2000), Springer, Berlin
41. H. Thompson, D. Beech, M. Maloney, N. Mendelsohn, XML Schema. Part 1: structures W3C recommendation, second ed., October 2004. Available from: .
42. Vianu V. A web odyssey: from Codd to XML. SIGMOD Record 32 2 (2003) 68-77
43. Vincent M., Liu J., and Liu C. Strong functional dependencies and their application to normal forms in XML. ACM Trans. Database Syst. 29 3 (2004) 445-462
44. J. Wang, Using tree patterns for flexible handling of XML keys, Master's Thesis, Massey University, 2007.
45. Widom J. Data management for XML: research directions. Data Eng. Bull. 22 3 (1999) 44-52
46. P. Wood, Containment for XPath fragments under DTD constraints, in: ICDT, 2003, Lecture Notes in Computer Science, vol. 2572, pp. 297-311.