Determinacy and rewriting of functional top-down and MSO tree transformations.
J. Comput. Syst. Sci.(2017)
摘要
Decidability of view-query determinacy is proven for large classes of views and queries given by tree transducers.If the query is determined by the view, then we can construct a function that realizes the query on the output of the view.View-query determinacy is a strong static property. A query is determined by a view, if the result of the query can be reconstructed from the result of the view. We consider the problem of deciding for two given (functional) tree transformations, whether one is determined by the other. If the view transformation is induced by a tree transducer that may copy, then determinacy is undecidable. For a large class of noncopying views, namely compositions of extended linear top-down tree transducers, we show that determinacy is decidable, where queries are either deterministic top-down tree transducers (with regular look-ahead) or deterministic MSO tree transducers. We also show that if a query is determined by a view, then it can be rewritten into a query that works over the view and is in the same class of transducers as the query. The proof relies on the decidability of equivalence for the considered classes of queries, and on their composition closure.
更多查看译文
关键词
View–query determinacy,Top–down tree transducers,MSO definable tree transducers
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络