XPath Containment in the Presence of Disjunction, DTDs, and Variables

Authors:
Frank Neven;Thomas Schwentick
Affiliations:
-;-
Venue:
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Year:
2003

Citing 16
Cited 89

Alternating tree automata

Theoretical Computer Science
Domino-tiling games

Journal of Computer and System Sciences
XML linking

ACM Computing Surveys (CSUR)
Containment and equivalence for an XPath fragment

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query automata over finite trees

Theoretical Computer Science
Automata theory for XML researchers

ACM SIGMOD Record
A formal model for an expressive fragment of XSLT

Information Systems - Databases: Creation, management and utilization
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
Monadic Queries over Tree-Structured Data

LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
On the Equivalence of XML Patterns

CL '00 Proceedings of the First International Conference on Computational Logic
Automata, Logic, and XML

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
XQuery: An XML query language

IBM Systems Journal
Efficient algorithms for processing XPath queries

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Incorporating XSL processing into database engines

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Automata- and logic-based pattern languages for tree-structured data

Proceedings of the 2nd international conference on Semantics in databases

Containment for XPath Fragments under DTD Constraints

ICDT '03 Proceedings of the 9th International Conference on Database Theory
XML access control using static analysis

Proceedings of the 10th ACM conference on Computer and communications security
XPath on left and right sides of rules: toward compact XML tree rewriting through node patterns

Proceedings of the 2003 ACM symposium on Document engineering
Reasoning about keys for XML

Information Systems
Containment and equivalence for a fragment of XPath

Journal of the ACM (JACM)
Monadic datalog and the expressive power of languages for Web information extraction

Journal of the ACM (JACM)
XPath query containment

ACM SIGMOD Record
Secure XML querying with security views

SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Logic-based XPath optimization

Proceedings of the 2004 ACM symposium on Document engineering
Finding hot query patterns over an XQuery stream

The VLDB Journal — The International Journal on Very Large Data Bases
Distributed XML Stream Filtering System with High Scalability

ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Frontiers of tractability for typechecking simple XML transformations

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XQuery containment in presence of variable binding dependencies

WWW '05 Proceedings of the 14th international conference on World Wide Web
XML data exchange: consistency and query answering

Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XPath satisfiability in the presence of DTDs

Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Rewriting XPath queries using materialized views

VLDB '05 Proceedings of the 31st international conference on Very large data bases
Structural properties of XPath fragments

Theoretical Computer Science - Database theory
XML Queries and constraints, containment and reformulation

Theoretical Computer Science - Database theory
A function-based access control model for XML databases

Proceedings of the 14th ACM international conference on Information and knowledge management
Applying hierarchical and role-based access control to XML documents

SWS '04 Proceedings of the 2004 workshop on Secure web service
Two-variable logic on data trees and XML reasoning

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Rewriting nested XML queries using nested views

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Inference of concise DTDs from XML data

VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Answering tree pattern queries using views

VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Maintaining XPath views in loosely coupled systems

VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Comparing XML path expressions

Proceedings of the 2006 ACM symposium on Document engineering
XML access control using static analysis

ACM Transactions on Information and System Security (TISSEC)
Heuristic containment check of partial tree-pattern queries in the presence of index graphs

CIKM '06 Proceedings of the 15th ACM international conference on Information and knowledge management
A system for the static analysis of XPath

ACM Transactions on Information Systems (TOIS)
Automata for XML---A survey

Journal of Computer and System Sciences
Frontiers of tractability for typechecking simple XML transformations

Journal of Computer and System Sciences
Incremental adaptation of XPath access control views

ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Policy Administration Control and Delegation Using XACML and Delegent

GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
On deciding well-definedness for query languages on trees

Journal of the ACM (JACM)
Static validation of XSL transformations

ACM Transactions on Programming Languages and Systems (TOPLAS)
Deciding XPath containment with MSO

Data & Knowledge Engineering
Static analysis of XML processing with data values

ACM SIGMOD Record
On the minimization of Xpath queries

VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
RRXS: redundancy reducing XML storage in relations

VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
From tree patterns to generalized tree patterns: on efficient evaluation of XQuery

VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
A framework for using materialized XPath views in XML query processing

VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
On testing satisfiability of tree pattern queries

VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Structured materialized views for XML queries

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Inferring XML schema definitions from XML data

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
On the minimization of XPath queries

Journal of the ACM (JACM)
Navigational XPath: calculus and algebra

ACM SIGMOD Record
XML data exchange: Consistency and query answering

Journal of the ACM (JACM)
Conjunctive query containment and answering under description logic constraints

ACM Transactions on Computational Logic (TOCL)
Simplifying XPath queries for optimization with regard to the elimination of intersect and except operators

Data & Knowledge Engineering
A framework of semantic cache for secure XML query answering: an interesting joint and novel perspective

Proceedings of the 2nd international conference on Scalable information systems
HCH for checking containment of XPath fragment

Journal of Computer Science and Technology
XML fragment caching for large-scale mobile commerce applications

Proceedings of the 10th international conference on Electronic commerce
Output schemas of XSLT stylesheets and their applications

Information Sciences: an International Journal
Filtering Techniques for Rewriting XPath Queries Using Views

WISE '08 Proceedings of the 9th international conference on Web Information Systems Engineering
Transforming Tree Patterns with DTDs for Query Containment Test

DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
XPath leashed

ACM Computing Surveys (CSUR)
A heuristic approach for checking containment of generalized tree-pattern queries

Proceedings of the 17th ACM conference on Information and knowledge management
Two-variable logic on data trees and XML reasoning

Journal of the ACM (JACM)
Containment between Unions of XPath Queries

DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Containment of partially specified tree-pattern queries in the presence of dimension graphs

The VLDB Journal — The International Journal on Very Large Data Bases
Segmentation-Based Caching for Mobile Auctions

Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
A semantic cache framework for secure XML queries

Journal of Computer Science and Technology
On the analysis of queries with counting constraints

Proceedings of the 9th ACM symposium on Document engineering
XML Security Views Revisited

DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
Controlling Access to XML Documents over XML Native and Relational Databases

SDM '09 Proceedings of the 6th VLDB Workshop on Secure Data Management
Query rewritings using views for XPath queries, framework, and methodologies

Information Systems
An efficient index lattice for XML query evaluation

DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Efficient evaluation of query rewriting plan over materialized XML view

Journal of Systems and Software
Satisfiability and containment problem of structural recursions with conditions

ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Unlocking keys for XML trees

ICDT'07 Proceedings of the 11th international conference on Database Theory
Characterization of the interaction of XML functional dependencies with DTDs

ICDT'07 Proceedings of the 11th international conference on Database Theory
An efficient co-operative framework for multi-query processing over compressed XML data

DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Hidden conditioned homomorphism for XPath fragment containment

DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Satisfiability of XPath queries with sibling axes

DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Detecting privacy violations in sensitive XML databases

SDM'05 Proceedings of the Second VDLB international conference on Secure Data Management
Automata and logics for words and trees over an infinite alphabet

CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Conflicting XML updates

EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Learning robust web wrappers

DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Cache consistency in mobile XML databases

WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
Verification of tree updates for optimization

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
XML access control with policy matching tree

ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
A theoretic framework for answering XPath queries using views

XSym'05 Proceedings of the Third international conference on Database and XML Technologies
Efficient integrity checking over XML documents

EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Rewriting XPath queries using materialized XPath views

Journal of Computer and System Sciences
Algebra-Based identification of tree patterns in XQuery

FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Learning twig and path queries

Proceedings of the 15th International Conference on Database Theory
Bounded depth data trees

ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
MQTree based query rewriting over multiple XML views

DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Containment and satisfiability problem for XPath with recursion

ADBIS'12 Proceedings of the 16th East European conference on Advances in Databases and Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragments of XPath. In addition to the basic operations (child, descendant, filter, and wildcard), we consider disjunction, DTDs and variables. W.r.t. variables we study two semantics: (1) the value of variables is given by an outer context; (2) the value of variables is defined existentially. We establish an almost complete classification of the complexity of the containment problem w.r.t. these fragments.