Types for Correctness of Queries over Semistructured Data
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani · 2002
A type system for a query language should serve both purposes of verifying whether a query is coherent with what is known about the structure of the database (query correctness) and of giving information about the type of the query result (result analysis). Current proposals for typed query languages for semistructured data are usually focused on result analysis, but perform very few controls, or none at all, of query correctness.