Monadic Datalog and Regular Tree Pattern Queries

DOI10.1007/978-3-662-44522-8_36zbMath1425.68097OpenAlexW409407156MaRDI QIDQ2922036

Adam Witkowski, Filip Murlak, Filip Mazowiecki

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_36

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (2)

Containment of Monadic Datalog Programs via Bounded Clique-Width ⋮ Eliminating Recursion from Monadic Datalog Programs on Trees

Uses Software

• XPath
• Datalog

This page was built for publication: Monadic Datalog and Regular Tree Pattern Queries