The typechecking problem for transformations of relational data into tree data is the following: given a TreeQL program P (called transformation), and a DTD d (called output type), decide whether for every database instance D the result of the transformation P of D is of a type consistent with d (see [2]). TreeQL programs with projection-free conjunctive queries and DTDs with arbitrary regular expressions are considered here. A non-elementary upper bound for the typechecking problem is given in [2] (although in a more general setting, where equality and negation in projection-free conjunctive queries and additional universal integrity constraints are allowed). In this paper we show that the typechecking problem is in coNEXP-TIME. As an intermediate step we consider the following problem, which can be formulated in a language independent of XML notions. Given a set of triples of the form (φ,k,j), where φ is a projection-free conjunctive query and k, j are natural numbers, decide whether there exists a database D such that for each triple (φ, k, j) in the set, there exists a natural number α, such that there are exactly k + j * α tuples satisfying the query φ in D. Our main technical contribution consists of a NEXPTIME algorithm for the last problem. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Wieczorek, P. (2006). Complexity of typechecking XML views of relational databases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4353 LNCS, pp. 239–253). https://doi.org/10.1007/11965893_17
Mendeley helps you to discover research relevant for your work.