Integrity constraints for XML

Journal of Computer and System Sciences

Volumn 66, Issue 1, 2003, Pages 254-291

  Fan, Wenfei ^a   Simeon, Jérôme ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Constraint implication; Foreign keys; Inverse constraints; Keys; XML

Indexed keywords

CONSTRAINT THEORY; INFORMATION SCIENCE; SEMANTICS; XML;

INTEGRITY CONSTRAINTS;

METADATA;

EID: 0038266949     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-0000(02)00032-6     Document Type: Article

References (36)

1. S. Abiteboul, S. Cluet, T. Milo, P. Mogilevsky, J. Siméon S. Zohar, Tools for data translation and integration. IEEE Data Eng. Bull. 22 (1) (1999) 3-8.
2. S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley, Reading. MA, 1995.
3. S. Abiteboul, P.C. Kanellakis, Object identity as a query language primitive, in: Proceedings of ACM SIGMOD Conference on Management of Data, Portland, Oregon, June 1989, pp. 159-173.
4. S. Abiteboul, V. Vianu, Regular path queries with constraints, J. Comput. System Sci. (JCSS) 58 (4) (1999) 429-452.
5. J. Barwise, On moschovakis closure ordinals, J. Symbolic Logic 42 (1977) 292-296.
6. C. Beeri, T. Milo, Schemas for integration and translation of structured and semi-structured data, in: Proceedings of International Conference on Database Theory (ICDT), Jerusalem, Israel, January 1999, pp. 296-313.
7. E. Börger, E. Grädel, Y. Gurevich, The Classical Decision Problem, Springer, Berlin, 1997.
8. A. Borgida, On the relative expressiveness of description logics and predicate logics, Artif. Intell. 82 (1-2) (1996) 353-367.
9. T. Bray, J. Paoli, C.M. Sperberg-McQueen, Extensible Markup Language (XML) 1.0, W3C Recommendation, February 1998, http://www.w3.org/TR/REC-xml/.
10. P. Buneman, S. Davidson, W. Fan, C. Hara, W. Tan, Keys for XML, Comput. Networks 39 (5) (2002) 473-487.
11. P. Buneman, S. Davidson, W. Fan, C. Hara, W. Tan, Reasoning about keys for XML, in: Proceedings of International Workshop on Database Programming Languages (DBPL), Frascati, Italy, Sept., 2001, Lecture Notes in Computer Science, Vol., 2397, Springer-Verlag, Berlin/New York, 2001, pp. 133-148.
12. P. Buneman, W. Fan, S. Weinstein, Interaction between path and type constraints, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Philadelphia, Pennsylvania, May, 1999, pp. 56-67.
13. P. Buneman, W. Fan, S. Weinstein, Path constraints in semistructured databases, J. Comput. System Sci. (JCSS) 61 (2) (2000) 146-193.
14. D. Calvanese, G. De Giacomo, M. Lenzerini, Representing and reasoning on XML documents: a description logic approach, J. Logic and Computat. 9 (3) (1999) 295-318.
15. R.G. Cattell, The Object Database Standard: ODMG 2.0, Morgan Kaufmann, Los Altos, CA. 1997.
16. J. Clarke, XSL transformations (XSLT), W3C Recommendation, November 1999, http://www.w3.org/TR/xslt.
17. J. Clark, S. DeRose, XML Path Language (XPath), W3C Working Draft, November 1999. http://www.w3.org/TR/xpath.
18. S. Cluet, C. Delobel, J. Siméon, K. Smaga, Your mediators need data conversion, in: Proceedings of ACM SIGMOD Conference on Management of Data, Seattle, Washington, June, 1998, pp. 177-188.
19. S. Cluet, J. Siméon, YATL: a functional and declarative language for XML, Draft manuscript, March, 2000.
20. S. Cosmadakis, P.C. Kanellakis, M.Y. Vardi, Polynomial-time implication problems for unary inclusion dependencies, J. ACM 37 (1) (1990) 15-46.
21. A. Davidson, M. Fuchs, M. Hedin, M. Jain, J. Koistinen, C. Lloyd, M. Maloney, K. Schwarzhof, Schema for object-oriented XML 2.0, W3C Note, July, 1999, http://www.w3.org/TR/NOTE-SOX.
22. A. Deutsch, M.F. Fernandez, D. Florescu, A.Y. Levy, D. Suciu, XML-QL: a query language for XML, W3C Note, August, 1998, http://www.w3.org/TR/NOTE-xml-ql.
23. A. Deutsch, L. Popa, V. Tannen, Physical data independence, constraints, and optimization with universal plans, in: Proceedings of International Conference on Very Large Databases (VLDB). Edinburgh, Scotland, September 1999, pp. 459-470.
24. W. Fan, L. Libkin, On XML integrity constraints in the presence of DTDs, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS), Santa Barbara, California, May 2001, pp. 114-125.
25. M.F. Fernandez, J. Siméon, P. Wadler, A semi-monad for semi-structured data, in: Proceedings of International Conference on Database Theory (ICDT), London, UK, January 2001, pp. 263-300.
26. D. Florescu, L. Raschid, P. Valduriez, A methodology for query reformulation in CIS using semantic knowledge, Internat. J. Cooperative Inform. Systems (IJCIS) 5 (4) (1996) 431-468.
27. E. Grädel, P.O. Kolaitis, M.Y. Vardi, On the decision problem for two-variable first-order logic, Bull. Symbolic Logic 3(1) (1997) 53-69.
28. C. Hara, S. Davidson, Reasoning about nested functional dependencies, in: Proceedings of ACM Symposium on Principles of Database Systems (PODS) Philadephia. Pennsylvania, May 1999, pp. 91-100.
29. M. Ito, G.E. Weddell, Implication problems for functional constraints on databases supporting complex objects, J. Comput. System Sci. (JCSS) 50 (1) (1995) 165-187.
30. O. Lassila, R.R. Swick, Resource Description Framework (RDF) model and syntax specification, W3C Recommendation, February 1999, http://www.w3.org/TR/REC-rdf-syntax/.
31. A. Layman, E. Jung, E. Maler, H.S. Thompson, J. Paoli, J. Tigue, N.H. Mikula, S. De Rose, XML-Data. W3C Note, January 1998, http://www.w3.org/TR/1998/NQTE-XML-data.
32. F. Neven, Extensions of attribute grammars for structured document queries, in: Proceedings of International Workshop on Database Programming Languages (DBPL), Kinloch Rannoch, UK. 1999, Lecture Notes in Computer Science, Vol. 1949, Springer-Verlag, Berlin/New York, pp. 99-116.
33. L. Popa, Object/Relational Query Optimization with Chase and Backchase, PhD Thesis. University of Pennsylvania. 2000.
34. J. Robie, J. Lapp, D. Schach, XML Query Language (XQL). Workshop on XML Query Languages. 1998.
35. H.S. Thompson, D. Beech, M. Maloney, N. Mendelsohn, XML Schema, W3C Working Draft. May 2001, http://www.w3.org/XML/Schema.
36. J.D. Ullman, Database and Knowledge Base Systems. Computer Science Press. Rockville, MD. 1988.