MSO queries on trees: enumerating answers under updates using forest algebras

DOI10.1145/3209108.3209144MaRDI QIDQ5145354zbMATH OpenOpenAlexFDO

Authors Matthias Niewerth

Publication date 20 January 2021

Published in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3209108.3209144

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05) Database theory (68P15) Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Recommendations

• MSO queries on trees: enumerating answers under updates
• Enumeration on trees under relabelings
• Enumeration of monadic second-order queries on trees
• MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay
• Linear delay enumeration and monadic second-order logic

Cited in

(8)

• Enumeration of monadic second-order queries on trees
• Enumeration on trees under relabelings
• MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay
• MSO queries on trees: enumerating answers under updates
• Constant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular width
• MSO queries on trees: enumerating answers under updates using forest algebras
• Maintaining \(\mathrm{CMSO}_2\) properties on dynamic structures with bounded feedback vertex number
• Dynamic direct access of MSO query evaluation over strings

This page was built for publication: MSO queries on trees: enumerating answers under updates using forest algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145354)