@inproceedings{239fa53b1c90413c8951cbd4a8b588c7,
title = "Types for path correctness of XML Queries (Extended Abstract)",
abstract = "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.",
author = "Dario Colazzo and Giorgio Ghelli and Paolo Manghi and Carlo Sartiani",
year = "2005",
month = jan,
day = "1",
language = "English",
isbn = "8854801224",
series = "SEBD 2005 - Proceedings of the 13th Italian Symposium on Advanced Database Systems",
publisher = "Aracne Editrice",
number = "June",
pages = "264--271",
booktitle = "SEBD 2005 - Proceedings of the 13th Italian Symposium on Advanced Database Systems",
edition = "June",
note = "13th Italian Symposium on Advanced Database Systems, SEBD 2005 ; Conference date: 19-06-2005 Through 22-06-2005",
}