The following pages link to Monadic Datalog Containment (Q3167001):
Displaying 7 items.
- Decidable containment of recursive queries (Q555766) (← links)
- Conjunctive query containment over trees using schema information (Q1702301) (← links)
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- Eliminating Recursion from Monadic Datalog Programs on Trees (Q2946356) (← links)
- Monadic Datalog, Tree Validity, and Limited Access Containment (Q4972170) (← links)
- (Q5091125) (← links)
- Datalog with Negation and Monotonicity. (Q5874373) (← links)