Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/9155
Title: Expressiveness and complexity of XML publishing transducers
Authors: Fan, Wenfei
GEERTS, Floris 
NEVEN, Frank 
Issue Date: 2008
Publisher: ACM
Source: ACM TRANSACTIONS ON DATABASE SYSTEMS, 33(4). p. 1-49
Abstract: A number of languages have been developed for specifying XML publishing, that is, transforma- tions of relational data into XML trees. These languages generally describe the behaviors of a middleware controller that builds an output tree iteratively, issuing queries to a relational source and expanding the tree with the query results at each step. To study the complexity and expres- sive power of XML publishing languages, this article proposes a notion of publishing transducers, which generate XML trees from relational data. We study a variety of publishing transducers based on what relational queries a transducer can issue, what temporary stores a transducer can use during tree generation, and whether or not some tree nodes are allowed to be virtual, that is, excluded from the output tree. We first show how existing XML publishing languages can be characterized by such transducers, and thus provide a synergy between theory and practice. We then study the membership, emptiness, and equivalence problems for various classes of trans- ducers. We establish lower and upper bounds, all matching, ranging from PTIME to undecidable. Finally, we investigate the expressive power of these transducers and existing languages. We show that when treated as relational query languages, different classes of transducers capture either complexity classes (e.g., PSPACE) or fragments of datalog (e.g., linear datalog). For tree generation, we establish connections between publishing transducers and logical transductions, among other things.
Document URI: http://hdl.handle.net/1942/9155
Link to publication: http://doi.acm.org/10.1145/1412331.1412337
ISSN: 0362-5915
e-ISSN: 1557-4644
DOI: 10.1145/1412331.1412337
ISI #: 000263490800006
Category: A1
Type: Journal Contribution
Validations: ecoom 2010
Appears in Collections:Research publications

Show full item record

SCOPUSTM   
Citations

3
checked on Sep 2, 2020

Page view(s)

44
checked on May 20, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.