Enumeration on Trees under Relabelings
international conference on database theory, 2018.
We study how to evaluate MSO queries with free variables on trees, within theframework of enumeration algorithms. Previous work has shown how to enumerateanswers with linear-time preprocessing and delay linear in the size of eachoutput, i.e., constant-delay for free first-order variables. We extend thisresult to support relabelings, a res...More
Full Text (Upload PDF)
PPT (Upload PPT)