Paper Info
Title
Types for Correctness of Queries over Semistructured Data
Abstract
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. This work presents a type system for a core of XQuery that supports both query correctness and result analysis, and discusses some of the design issues and alternatives.
Year
Venue
Keywords
2002
WebDB
query language,type system
Field
DocType
Citations 
Query optimization,Web search query,Query language,RDF query language,Query expansion,Data control language,Computer science,View,Web query classification,Database
Conference
5
PageRank 
References 
Authors
0.51
3
4
Name
Order
Citations
PageRank
Dario Colazzo128334.21
Giorgio Ghelli21300255.19
Paolo Manghi319647.95
Carlo Sartiani424028.54