Monadic datalog and regular tree pattern queries

DOI10.1007/978-3-662-44522-8_36MaRDI QIDQ2922036zbMATH OpenOpenAlexFDO

Authors Filip Mazowiecki, Filip Murlak, Adam Witkowski

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

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

Recommendations

• Monadic datalog and regular tree pattern queries
• Containment of monadic Datalog programs via bounded clique-width
• Monadic Datalog, tree validity, and limited access containment
• Eliminating recursion from monadic datalog programs on trees
• Monadic Datalog Containment

Cited in

(5)

• Eliminating recursion from monadic datalog programs on trees
• Monadic Datalog Containment
• Monadic datalog and regular tree pattern queries
• Containment of monadic Datalog programs via bounded clique-width
• Monadic Datalog, tree validity, and limited access containment

Describes a project that uses

Uses Software

• Datalog
• XPath

This page was built for publication: Monadic datalog and regular tree pattern queries

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