Discovering Veiled Unsatisfiable XPath Queries

Jinghua Groppe, Volker Linnemann


The satisfiability problem of queries is an important determinant in query optimization. The application of a satisfiability test can avoid the submission and the unnecessary evaluation of unsatisfiable queries, and thus save processing time and query costs. If an XPath query does not conform to constraints in a given schema, or constraints from the query itself are inconsistent with each other, the evaluation of the query will return an empty result for any valid XML document, and thus the query is unsatisfiable. Therefore, we propose a schema-based approach to filtering the XPath queries not conforming to the constraints in the schema and the XPath queries with conflicting constraints. We present a complexity analysis of our approach, which proves that our approach is efficient at typical cases. We present an experimental analysis of our prototype, which shows the optimization potential of avoiding the evaluation of unsatisfiable queries.

TitelProceedings of the 10th International Conference on Enterprise Information Systems, Volume DISI, (ICEIS 2008)
Redakteure/-innenJosé Cordeiro, Joaquim Filipe
ErscheinungsortBarcelona, Spain
Herausgeber (Verlag)INSTICC
ISBN (Print)978-989-8111-36-4
PublikationsstatusVeröffentlicht - 12.06.2008
Veranstaltung10th International Conference on Enterprise Information Systems
- Barcelona, Spanien
Dauer: 12.06.200816.06.2008
Konferenznummer: 79424


Untersuchen Sie die Forschungsthemen von „Discovering Veiled Unsatisfiable XPath Queries“. Zusammen bilden sie einen einzigartigen Fingerprint.