Abstract
In previous papers we presented a type system for a substantial fragment of the Web query language Xcerpt. It is a descriptive type system: the typing of a program is an approximation of its semantics. The type system was expressed by means of rules, which could be seen as a comprehensible abstraction of a typing algorithm. That system treats some query terms in a rather simplistic way. As a result the approximations produced for them are rather imprecise. In this paper we provide an improved type system, producing more precise results.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-044

BibTeX:

@inproceedings{REWERSE-RP-2006-044,
	author = {W\lodzimierz Drabent},
	title = {Towards more precise typing rules for Xcerpt},
	booktitle = {Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning, Budva, Montenegro (10th--11th June 2006)},
	year = {2006},
	volume = {4187},
	organization = {REWERSE},
	series = {LNCS},
	pages = {120--133},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-044}
}