On reasoning about structural equality in XML: A description logic approach

Theoretical Computer Science

Volumn 336, Issue 1, 2005, Pages 181-203

  Toman, David ^a   Weddell, Grant ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Description logics; Functional dependencies; XML schema

Indexed keywords

DATA REDUCTION; DATA STRUCTURES; FORMAL LANGUAGES; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; QUERY LANGUAGES;

DESCRIPTION LOGICS; FUNCTIONAL DEPENDENCIES; QUERY OPTIMIZATION; XML SCHEMA;

XML;

EID: 18144416616     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.10.036     Document Type: Conference Paper

References (39)

1. S. Abiteboul, R. Hull, and V. Vianu Foundations of Databases 1995 Addison-Wesley Reading, MA
2. W. Ackermann Solvable cases of the decision problem Studies in Logic and the Foundations of Mathematics 1954 North-Holland Amsterdam
3. M. Arenas, W. Fan, and L. Libkin On verifying consistency of XML specifications ACM Symp. on Principles of Database Systems 2002 259 270
4. M. Arenas, and L. Libkin Normal form for XML documents ACM Symp. on Principles of Database Systems 2002 85 96
5. M. Baudinet, J. Chomicki, and P. Wolper Constraint-generating dependencies Internat. Conf. on Database Theory 1995
6. S. Boag, D. Chamberlin, D. Florescu, J. Robie, J. Simeon, M. Stefanescu, XQuery 1.0: an XML query language, Technical Report, W3C, 2001.
7. E. Börger, E. Grädel, and Y. Gurevich The classical decision problem Perspectives in Mathematical Logic 1997 Springer Berlin
8. A. Borgida, and G.E. Weddell Adding uniqueness constraints to description logics Internat. Conf. on Deductive and Object Oriented Databases DOOD 1997 85 102
9. P. Buneman, S.B. Davidson, W. Fan, C.S. Hara, and W.C. Tan Keys for XML World Wide Web 2001 201 210
10. D. Calvanese, G.D. Giacomo, and M. Lenzerini Representing and reasoning on XML documents a description logic approach J. Logic Comput. 9 1 1999 295 318
11. D. Calvanese, G.D. Giacomo, and M. Lenzerini Identification constraints and functional dependencies in description logics Internat. Joint Conf. on Artificial Intelligence 2001 155 160
12. D. Calvanese, G.D. Giacomo, M. Lenzerini, D. Nardi, and R. Rosati Description logic framework for information integration Principles of Knowledge Representation and Reasoning (KR'98) 1998 2 13
13. J. Chomicki, Functional deductive databases: query processing in the presence of limited function symbols, Ph.D. Thesis, Rutgers University, Laboratory for Computer Science Research LCSR-TR-142, 1990.
14. J. Chomicki, and T. Imieliński Finite representation of infinite query answers ACM Trans. Database Systems 18 2 1993 181 223
15. T. Eiter, W. Faber, N. Leone, and G. Pfeifer Declarative problem-solving using the dlv system J. Minker Logic-Based Artificial Intelligence 2000 Kluwer Academic Publishers Dordrecht
16. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello The KR System dlv progress report, comparisons and benchmarks Principles of Knowledge Representation and Reasoning, KR'98 1998 406 417
17. E. Emerson, and C. Jutla Tree automata, mu-calculus and determinacy IEEE Symp. on Foundations of Computer Science 1991 368 377
18. W. Fan, and L. Libkin On XML integrity constraints in the presence of DTDs J. ACM 49 3 2002 368 406
19. J.A. Fernández, J. Lobo, J. Minker, and A. Rajasekar Disjunctive LP + integrity constraints = stable model semantics Ann. Math. Artificial Intelligence 5 2-4 1993 89 131
20. M. Fürer Alternation and the Ackermann case of the decision problem L'Enseignement Math. 27 1981 137 162
21. M. Gelfond, and V. Lifschitz The stable model semantics for logic programming Proc. Fifth Internat. Conf. and Symp. on Logic Programming ICLP/SLP 1988 1070 1080
22. J.E. Hopcroft, and J.D. Ullman Introduction to automata theory, languages and computation 1979 Addison-Wesley Reading, MA
23. I. Horrocks, U. Sattler, and S. Tobies Practical reasoning for expressive description logics Logic Programming and Automated Reasoning, LPAR'99 1999 161 180
24. M. Ito, and G. Weddell Implication problems for functional constraints on databases supporting complex objects J. Comput. System Sci. 49 3 1994 726 768
25. D. Janin, and I. Walukiewicz Automata for the μ -calculus and related results Mathematical Foundations of Computer Science 1995 552 562
26. V.L. Khizder, D. Toman, G. Weddell, Reasoning about duplicate elimination with description logic, in: Rules and Objects in Databases, DOOD 2000 (part of Computational Logic 2000), 2000, pp. 1017-1032.
27. V.L. Khizder, D. Toman, and G.E. Weddell On decidability and complexity of description logics with uniqueness constraints Internat. Conf. on Database Theory ICDT'01 2001 54 67
28. D.E. Knuth, The Art of Computer Programming: Sorting and Searching, Vol. 3, second ed., Addison-Welsley, Reading, MA, 1998.
29. J. Lobo, J. Minker, and A. Rajasekar Foundations of Disjunctive Logic Programming 1992 MIT Press Cambridge, MA
30. J.W. Lloyd Foundations of Logic Programming 1987 Springer Berlin
31. A.O. Mendelzon, and P.T. Wood Functional dependencies in horn clause queries TODS 16 1 1991 31 55
32. J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988.
33. J. Minker, A. Rajasekar, A fixpoint semantics for non-horn logic programs, J. Logic Programming, to appear.
34. A. Rajasekar, J. Minker, Procedural interpretation of non-horn logic programs, in: Internat. Conf. on Automated Deduction, Lecture Notes in Computer Science, Springer, Berlin, 1988.
35. M. Schmidt-Schauß, and G. Smolka Attributive concept descriptions with complements Artificial Intelligence 48 1 1991 1 26
36. D.E. Simmen, E.J. Shekita, and T. Malkemus Fundamental techniques for order optimization Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data 1996 57 67
37. D. Toman, G.E. Weddell, On attributes, roles, and dependencies in description logics and the Ackermann case of the decision problem, in: Proc. Description Logics, CEUR-WS, Vol. 49, 2001, pp. 76-85.
38. J. Ullman Principles of Database and Knowledge-Base Systems Vol. 1 1988 Computer Science Press Rockville, MD
39. G.E. Weddell Reasoning about functional dependencies generalized for semantic data models TODS 17 1 1992 32 64