Monadic Datalog Containment

DOI10.1007/978-3-642-31585-5_11zbMath1367.68027OpenAlexW1893650332MaRDI QIDQ3167001

Pierre Bourhis, Michael Benedikt, Pierre Senellart

Publication date: 1 November 2012

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_11

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Logic programming (68N17)

Related Items (4)

Eliminating Recursion from Monadic Datalog Programs on Trees ⋮ Conjunctive query containment over trees using schema information ⋮ Unnamed Item ⋮ Evaluating Datalog via tree automata and cycluits

Uses Software

• Datalog

This page was built for publication: Monadic Datalog Containment