A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Decidability and expressiveness aspects of logic queries
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of deductive databases and logic programming
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query rewriting for semistructured data
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Optimising Web queries using document type definitions
Proceedings of the 2nd international workshop on Web information and data management
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
On Implementing Structured Document Query Facilities on Top of a DOOD
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Query Optimization for Structured Documents Based on Knowledge on the Document Type Definition
ADL '98 Proceedings of the Advances in Digital Libraries Conference
Query Optimization for Structured Documents Based on Knowledge on the Document Type Definition
ADL '98 Proceedings of the Advances in Digital Libraries Conference
Containment for XPath Fragments under DTD Constraints
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Structural Properties of XPath Fragments
ICDT '03 Proceedings of the 9th International Conference on Database Theory
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
XPath Containment in the Presence of Disjunction, DTDs, and Variables
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Hidden conditioned homomorphism for XPath fragment containment
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
Hi-index | 0.00 |
Patterns for matching parts of XML documents are used in a number of areas of XML document management: in links between documents, in templates for document transformation, and in queries for document retrieval. The W3C has defined XSLT patterns as a common sub-language for all these applications. We study the equivalence problem for XSLT patterns by defining a logic-based data model for XML and a semantics for XSLT patterns in terms of Datalog programs. Although uniform equivalence of Datalog programs is not sufficient to capture the equivalence of programs derived from XSLT patterns, we nevertheless show that equivalence can be decided by a variant of the chase process using embedded tuple-generating dependencies. One advantage of this approach is that the method can easily be extended to determine equivalence when documents are known to satisfy constraints imposed by document type definitions.