Work

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

Year: 2013

Type: article

Abstract: This paper discusses the decidability of node query preservation problems for XML document transformations. We assume a transformation given by a deterministic linear top-down data tree transducer (abbreviated as DLT^V) and an n-ary query based on runs of a tree automaton. We say that a DLT^V Tr strongly preserves a query Q if there is a query Q' such that for every document t, the answer set of Q' for Tr(t) is equal to the answer set of Q for t. Also we say that Tr weakly preserves Q if there is a query Q' such that for every t_d in the range of Tr, the answer set of Q' for t_d is equal to the union of the answer set of Q for t such that t_d = Tr(t). We show that the weak preservation problem is coNP-complete and the strong preservation problem is in 2-EXPTIME.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.134.4

Authors: Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki

Institutions: Nara Institute of Science and Technology, Nagoya University

Language: English

Topic: Advanced Database Systems and Queries

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Japan Society for the Promotion of Science

Award: Optimization of polynomial constraint solving based on fusion of approximation and algebraix methods