Regular Expression Subtyping for XML Query and Update Languages

Details Regular Expression Subtyping for XML Query and Update Languages Regular Expression Subtyping for XML Query and Update Languages

2008-01-04

arxiv.org/abs/0801.0714v1

Computer Science

Programming Languages

ESOP 2008. Companion technical report with proofs

Scientific paper

XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be equivalent: a declarative version in which the subsumption rule may be used anywhere, and an algorithmic version in which the use of subsumption is limited in order to make typechecking syntax-directed and decidable. However, the XQuery standard type system circumvents this issue by using imprecise typing rules for iteration constructs and defining only algorithmic typechecking, and another extant proposal provides more precise types for iteration constructs but ignores subtyping. In this paper, we consider a core XQuery-like language with a subsumption rule and prove the completeness of algorithmic typechecking; this is straightforward for XQuery proper but requires some care in the presence of more precise iteration typing disciplines. We extend this result to an XML update language we have introduced in earlier work.

Affiliated with

Also associated with

No associations

Rating

Regular Expression Subtyping for XML Query and Update Languages does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Regular Expression Subtyping for XML Query and Update Languages, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Regular Expression Subtyping for XML Query and Update Languages will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-379867