Interaction Between Path and Type Constraints

ACM Transactions on Computational Logic

Volumn 4, Issue 4, 2003, Pages 530-577

  Buneman, Peter ^a   Fan, Wenfei ^b   Weinstein, Scott ^c  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b LUCENT TECHNOLOGIES   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Algorithms; Design; implication; integrity constraints; Languages; semistructured data; Theory; types

Indexed keywords

IMPLICATION; INTEGRITY CONSTRAINTS; SEMISTRUCTURED DATA; TYPE CONSTRAINT;

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA ACQUISITION; FORMAL LOGIC; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; PROGRAMMING THEORY; QUERY LANGUAGES; SEMANTICS; THEOREM PROVING; XML;

CONSTRAINT THEORY;

EID: 3042812068     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/937555.937560     Document Type: Article

References (32)

1. Abiteboul, S., Buneman, P., and Suciu, D. 2000. Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufman.
2. Abiteboul, S., Hull, R., and Vianu, V. 1995. Foundations of Databases. Addison-Wesley.
3. Abiteboul, S. and Kanellakis, P. C. 1989. Object identity as a query language primitive. In Proceedings of ACM SIGMOD Conference on Management of Data. 159-173.
4. Abiteboul, S. and Vianu, V. 1999. Regular path queries with constraints. J. Comput. Syst. Sci. (JCSS) 53, 3, 428-452.
5. Alon, N., Milo, T., Neven, F., Suciu, D., and Vianu, V. 2001. XML with data values: Typechecking revisited. In Proceedings of ACM Symposium on Principles of Database Systems (PODS). 138149.
6. Arenas, M., Fan, W., and Libkin, L. 2002. On verifying consistency of XML specifications. In Proceedings ofACM Symposium on Principles ofDatabase Systems (PODS). 259-270.
7. Baru, C., Gupta, A., Ludascher, B., Marciano, R., Papakonstantinou, Y., Velikhov, P., and Chu, V. 1999. XML-based information mediation with MIX. In Proceedings of ACM SIGMOD Conference on Management of Data. 597-599.
8. Borger, E., Gradel, E., and Gurevich, Y. 1997. The Classical Decision Problem. Springer.
9. Bray, T., Paoli, J., and Sperberg-Mcqueen, C. M. 1998. Extensible Markup Language (XML) 1.0. W3C Recommendation. http://www.w3.org/TR/REC-xml/.
10. Buneman, P., Davidson, S., Fan, W., Hara, C., and Tan, W. 2001. Keys for XML. In Proceedings of International World Wide Web Conference. 201-210.
11. Buneman, P., Fan, W., and Weinstein, S. 1999. Query optimization for semistructured data using path constraints in a deterministic data model. In Proceedings of International Workshop on Database Programming Languages (DBPL). 208-223.
12. Buneman, P., Fan, W., and Weinstein, S. 2000. Path constraints in semistructured databases. J. Comput. Syst. Sci. (JCSS) 61, 2, 146-193.
13. Calvanese, D., De Giacomo, G., and Lenzerini, M. 1998. What can knowledge representation do for semi-structured data? In Proceedings of National Conference on Artificial Intelligence (AAAI/IAAI).
14. Calvanese, D., De Giacomo, G., Lenzerini, M., and Nardi, D. 2001. Reasoning in expressive description logics. In Handbook of Automated Reasoning, A. Robinson and A. Voronkov, Eds. Elsevier Science Publishers, Chapter 23, 1581-1634.
15. Cattell, R. G. 2000. The Object Database Standard: ODMG 3.0. Morgan Kaufmann.
16. Davidson, A., Fuchs, M., Hedin, M., Jain, M., Koistinen, J., Lloyd, C., Maloney, M., and Schwarzhof, K. 1999. SCHEMA FOR OBJECT-ORIENTED XML 2.0. W3C NOTE.
17. Deutsch, A., Fernandez, M. F., and Suciu, D. 1999a. Storing semistructured data with STORED. In Proceedings of ACM SIGMOD Conference on Management of Data. 431-442.
18. Deutsch, A., Popa, L., and Tannen, V. 1999b. Physical data independence, constraints, and optimization with universal plans. In Proceedings of International Conference on Very Large Databases (VLDB).
19. Enderton, H. B. 1972. A Mathematical Introduction to Logic. Academic Press.
20. Fan, W. and Libkin, L. 2001. On XML integrity constraints in the presence of DTDs. In Proceedings of ACM Symposium on Principles of Database Systems (PODS). 114-125.
21. Florescu, D. and Kossmann, D. 1999. Storing and querying XML data using an RDMBS. IEEE Data Eng. Bul. 22, 3, 27-34.
22. Florescu, D., Raschid, L., and Valduriez, P. 1996. A methodology for query reformulation in CIS using semantic knowledge. Int. J. Coop. Inform. Syst. (IJCIS) 5, 4, 431-468.
23. Ito, M. and Weddell, G. E. 1995. Implication problems for functional constraints on databases supporting complex objects. J. Comput. Syst. Sci. (JCSS) 50, 1, 165-187.
24. Layman, A., Jung, E., Maler, E., Thompson, H. S., Paoli, J., Tigue, J., Mikula, N. H., and De Rose, S. 1998. XML-Data. W3C Note. http://www.w3.org/TR/1998/NOTE-XML-data.
25. Lee, D. and Chu, W. W. 2000. Constraints-preserving transformation from XML document type definition to relational schema. In Proceedings of International Conference on Conceptual Modeling (ER). 112-125.
26. Manolescu, I., Florescu, D., and Kossmann, D. 2001. Answering XML queries on heterogeneous data sources. in Proceedings of International Conference on Very Large Databases (VLDB).
27. Ramakrishnan, R. and Gehrke, J. 2000. Database Management Systems. McGraw-Hill Higher Education.
28. Rounds, W. C. 1997. Feature logics. In Handbook of Logic and Language. Elsevier.
29. Schmidt-Schauss, M. 1989. Subsumption in KL-ONE is undecidable. In Proceedings of the 1st International Conference on the Principles of Knowledge Representation and Reasoning (KR'89). 421-431.
30. Shanmugasundaram, J., Tufte, K., Zhang, C., He, G., Dewitt, D. J., and Naughton, J. F. 1999. Relational databases for querying XML documents: Limitations and opportunities. In Proceedings of International Conference on Very Large Databases (VLDB).
31. Thompson, H. S., Beech, D., Maloney, M., and Mendelsohn, N. 2001. XML Schema Part 1: Structures. W3C Recommendation.
32. Van Bommel, M. F. and Weddell, G. E. 1994. Reasoning about equations and functional dependencies on complex objects. IEEE Trans. Data Knowl. Eng. 6, 3, 455-469.