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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Berger, S., Coquery, E., Drabent, W., Wilk, A.: Descriptive typing rules for Xcerpt. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 85–100. Springer, Heidelberg (2005)
Berger, S., Coquery, E., Drabent, W., Wilk, A.: Descriptive typing rules for Xcerpt and their soundness. Technical Report REWERSE-TR-2005-01, REWERSE (2005), http://rewerse.net/publications/#REWERSE-TR-2005-01
Berger, S., Coquery, E., Drabent, W., Wilk, A.: Errata to Descriptive typing rules for Xcerpt (2006), http://www.ida.liu.se/~wlodr/errata.LNCS3703.pdf
Cirstea, H., Coquery, E., Drabent, W., Fages, F., Kirchner, C., Liquori, L., Wack, B., Wilk, A.: Types for REWERSE reasoning and query languages. Deliverable I3-D4, REWERSE (2005), http://rewerse.net/publications/#REWERSE-DEL-2005-I3-D4
Nielson, H.R., Nielson, F.: Semantics with Applications. John Wiley and Sons, Chichester (1992), http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html
Schaffert, S.: Xcerpt: A Rule-Based Query and Transformation Language for the Web. PhD thesis, University of Munich, Germany (2004), http://www.wastl.net/download/dissertation/dissertation_schaffert.pdf
Schaffert, S., Bry, F.: Querying the Web Reconsidered: A Practical Introduction to Xcerpt. In: Proceedings of Extreme Markup Languages 2004, Montreal (2004), http://rewerse.net/publications/#REWERSE-RP-2004-20
Wilk, A.: Descriptive Types for XML Query Language Xcerpt. Licentiate thesis, Linköpings universitet, Sweden (2006), http://www.ida.liu.se/~artwi/lic.pdf
Wilk, A., Drabent, W.: On types for XML query language Xcerpt. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 128–145. Springer, Heidelberg (2003)
Wilk, A., Drabent, W.: A prototype of a descriptive type system for xcerpt. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 262–275. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Drabent, W. (2006). Towards More Precise Typing Rules for Xcerpt . In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2006. Lecture Notes in Computer Science, vol 4187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853107_9
Download citation
DOI: https://doi.org/10.1007/11853107_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39586-7
Online ISBN: 978-3-540-39587-4
eBook Packages: Computer ScienceComputer Science (R0)