Document - Types for Path Correctness of XML Queries

2004

Conference article Closed Access

Types for Path Correctness of XML Queries

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani

XML Queries Type Correctness Software Computer Graphics and Computer-Aided Design XML Types

If a subexpression in a query will never contribute data to the query answer, this should be regarded as an error. This principle has been recently accepted into mainstream XML query languages, but was still waiting for a complete treatment. We provide here a precise definition for this class of errors, and define a type system that is sound and complete, in its search for such errors, for a core language, under mild restrictions on the use of recursion in type definitions. In the process, we describe a dichotomy among existential and universal type systems, which is useful to understand some unusual features of our type system.

Source: Proceedings of the ninth ACM SIGPLAN International Conference on Functional Programming, pp. 126–137, Snowbird, Utah, September 19-22, 2004

Publisher: ACM Press,, New York, NY , Stati Uniti d'America

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:178564,
	title = {Types for Path Correctness of XML Queries},
	author = {Dario Colazzo and Giorgio Ghelli and Paolo Manghi and Carlo Sartiani},
	publisher = {ACM Press,, New York, NY , Stati Uniti d'America},
	doi = {10.1145/1016850.1016869 and 10.1145/1016848.1016869},
	booktitle = {Proceedings of the ninth ACM SIGPLAN International Conference on Functional Programming, pp. 126–137, Snowbird, Utah, September 19-22, 2004},
	year = {2004}
}