Monadic Datalog, tree validity, and limited access containment

DOI10.1145/3344514zbMATH Open1433.68115OpenAlexW2979988222WikidataQ127122498 ScholiaQ127122498MaRDI QIDQ4972170FDOQ4972170

Authors: Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart 

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:4f6fcbe8-61ad-4ac8-bae1-646c1b68db8a

Recommendations

• Monadic Datalog Containment
• Containment of monadic Datalog programs via bounded clique-width
• Monadic datalog and regular tree pattern queries
• Monadic datalog and regular tree pattern queries
• Decidable containment of recursive queries

zbMATH Keywords

query containmentaccess patternsmonadic Datalogdeep webbinding patterns

Mathematics Subject Classification ID

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

Cited In (7)

• Monadic datalog and regular tree pattern queries
• Decidable containment of recursive queries
• Monadic Datalog Containment
• On Monotonic Determinacy and Rewritability for Recursive Queries and Views
• Monadic datalog and regular tree pattern queries
• Containment of monadic Datalog programs via bounded clique-width
• Evaluating Datalog via tree automata and cycluits

This page was built for publication: Monadic Datalog, tree validity, and limited access containment

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