9 citations · 13 across the 5 of their papers we have counts for
6 papers
Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
Paul Gallot, Sebastian Maneth, Keisuke Nakano +1
We present a novel normal form for (total deterministic) macro tree transducers (mtts), called depth proper normal form. If an mtt is in this normal form, then it is guaranteed tha…
On properties of -terms
Mirai Ikebuchi, Keisuke Nakano
-terms are built from the combinator alone defined by , which is well known as a function composition operator. This paper investigates an interesting p…
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu +10
Views are known mechanisms for controlling access of data and for sharing data of different schemas. Despite long and intensive research on views in both the database community and…
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu +9
The view and the view update are known mechanism for controlling access of data and for integrating data of different schemas. Despite intensive and long research on them in both t…
On repetitive right application of B-terms
Mirai Ikebuchi, Keisuke Nakano
B-terms are built from the B combinator alone defined by B f g x = f (g x), which is well-known as a function composition operator. This paper investigates an interesting property…
XQuery Streaming by Forest Transducers
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano +1
Streaming of XML transformations is a challenging task and only very few systems support streaming. Research approaches generally define custom fragments of XQuery and XPath that a…