On the equivalence of XML patterns

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 1152-1166

  Wood, Peter T ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATALOG PROGRAMS; DOCUMENT MANAGEMENT; DOCUMENT RETRIEVAL; DOCUMENT TRANSFORMATION; DOCUMENT TYPE DEFINITION; EQUIVALENCE PROBLEM;

EQUIVALENCE CLASSES; INFORMATION SERVICES; LOGIC PROGRAMMING; SEMANTICS;

XML;

EID: 84867751648     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_77     Document Type: Conference Paper

References (17)

1. A. V. Aho, Y. Sagiv, and J. D. Ullman. Equivalences among relational expressions. SIAM J. Computing, 8(2):218-246, 1979.
2. C. Beeri and M. Y. Vardi. A proof procedure for data dependencies. J. ACM, 31(4):718-741, 1984.
3. K. Böhm, K. Aberer, M. T. Ozsu, and K. Gayer. Query optimization for structured documents base d on knowledge on the document type de-nition. In Proc. Advances in Digital Libraries, pages 196-205. IEEE Press, 1998.
4. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. Seventeenth ACM Symp. on Principles of Databases Systems, pages 149-158. ACM Press, 1998.
5. D. Florescu, A. Y. Levy, and D. Suciu. Query containment for conju nctive queries with regular expressions. In Proc. Seventeenth ACM Symp. on Principles of Databases Systems, pages 139-148. ACM Press, 1998.
6. H. Liefke. Horizontal query optimization on ordered semistructured data. In Proc. WebDB'99: Int. Workshop on the Web and Databases, pages 61-66, 1999.
7. D. Maier, A. O. Mendelzon, and Y. Sagiv. Testing implications of data dependencies. ACM Trans. on Database Syst., 4(4):455-469, 1979.
8. S. Maneth and F. Neven. Structured document transformations based on XSL. In Proc. Database Programming Languages, 1999.
9. F. Neven and J. Van den Bussche. On implementing structured document query facilities on top of a DOOD. In Proc. 5th Int. Conf. on Deductive and Object-Oriented Databases, pages 351-367, 1997.
10. Y. Papakonstantinou,V. Vassalos Query rewriting for semistructured data In Proc. ACMSIGMOD Int. Conf. onManagement of Data 455-466 1999.
11. J. Robie, J. Lapp, and D. Schach. XML query language (XQL). In Proc. QL'98| The Query Languages Workshop, 1998.
12. Y. Sagiv. Optimizing Datalog programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 659-698. Morgan Kaufmann, 1988.
13. O. Shmueli. Decidability and expressiveness aspects of logic queries. In Proc. Fifth ACM Symp. on Principles of Databases Systems, pages 237-249, 1986.
14. P. Wadler. A formal semantics of patterns in XSLT. In Markup Technologies 99, 1999.
15. P. T. Wood. Optimizing web queries using document type de-nitions. In ACM CIKM'99 2nd InternationalWorkshop on Web Information and D ata Management (WIDM'99), pages 28-32. ACM Press, 1999.
16. World Wide Web Consortium. XML pointer language (XPointer). http://www.w3.org/TR/WD-xptr, March 1998.
17. World W ide Web Consortium. Extensible stylesheet language (XSL). http://www.w3.org/TR/WD-xsl, 1999.