Sciweavers

Share
PLANX
2007

XML Transformation Language Based on Monadic Second Order Logic

8 years 8 months ago
XML Transformation Language Based on Monadic Second Order Logic
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO formulae are capable of expressing (1) all regular queries, (2) deep matching without explicit recursion, (3) queries in a “don’t-care semantics” for unmentioned nodes, and (4) n-ary queries for locating n-tuples of nodes. While previous frameworks for subtree extraction (path expressions, pattern matches, etc.) each had some of these properties, none has satisfied all of them. In this paper, we have designed and implemented a practical XML transformation language called MTran that fully exploits the expressiveness of MSO. MTran is a language based on “select-andtransform” templates similar in spirit to XSLT. However, we design our templates specially suitable for expressing structure-preserving transformation, eliminating the need for explicit recursive calls to be written. Moreover, we allow templ...
Kazuhiro Inaba, Haruo Hosoya
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2007
Where PLANX
Authors Kazuhiro Inaba, Haruo Hosoya
Comments (0)
books