On the Equivalence of XML Patterns

This publication has 12 references indexed in Scilit:

• Structured Document Transformations Based on XSL
  Published by Springer Nature ,2000
• Optimising Web queries using document type definitions
  Published by Association for Computing Machinery (ACM) ,1999
• Query rewriting for semistructured data
  ACM SIGMOD Record, 1999
• On the decidability of query containment under constraints
  Published by Association for Computing Machinery (ACM) ,1998
• Query containment for conjunctive queries with regular expressions
  Published by Association for Computing Machinery (ACM) ,1998
• On implementing structured document query facilities on top of a DOOD
  Published by Springer Nature ,1997
• Optimizing Datalog Programs
  Published by Elsevier ,1988
• A Proof Procedure for Data Dependencies
  Journal of the ACM, 1984
• Testing implications of data dependencies
  ACM Transactions on Database Systems, 1979
• Equivalences among Relational Expressions
  SIAM Journal on Computing, 1979