Expressiveness and complexity of XML publishing transducers

Wenfei Fan, Floris Geerts, Frank Neven

Research output: Contribution to journalArticlepeer-review

Abstract

A number of languages have been developed for specifying XML publishing, that is, transformations 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 expressive 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 transducers. 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.
Original languageEnglish
Article number25
Pages (from-to)1-49
Number of pages49
JournalACM Transactions on Database Systems
Volume33
Issue number4
DOIs
Publication statusPublished - Dec 2008

Keywords

  • XML publishing
  • complexity
  • data exchange
  • expressiveness
  • transducer

Fingerprint Dive into the research topics of 'Expressiveness and complexity of XML publishing transducers'. Together they form a unique fingerprint.

Cite this