FILTERING UNSATISFIABLE XPATH QUERIES

Jinghua Groppe, Sven Groppe

2006

Abstract

Empty results of queries are a hint for semantic errors in users’ queries, and erroneous and unoptimized queries can lead to highly inefficient processing of queries. For manual optimization, which is prone to errors, a user needs to be familiar with the schema of the queried data and with implementation details of the used query engine. Thus, automatic optimization techniques have been developed and have been used for decades in database management systems for the deductive and relational world. We focus on the satisfiability problem for the queries formulated in the XML query language XPath. We propose a schema-based approach to check whether or not an XPath query conforms to the constraints given in the schema in order to detect semantic errors, and in order to avoid unnecessary evaluations of unsatisfiable queries.

Paper Citation

in Harvard Style

Groppe J. and Groppe S. (2006). FILTERING UNSATISFIABLE XPATH QUERIES . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-972-8865-41-2, pages 157-162. DOI: 10.5220/0002465001570162

in Bibtex Style

@conference{iceis06,
author={Jinghua Groppe and Sven Groppe},
title={FILTERING UNSATISFIABLE XPATH QUERIES},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2006},
pages={157-162},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002465001570162},
isbn={978-972-8865-41-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - FILTERING UNSATISFIABLE XPATH QUERIES
SN - 978-972-8865-41-2
AU - Groppe J.
AU - Groppe S.
PY - 2006
SP - 157
EP - 162
DO - 10.5220/0002465001570162