Pages that link to "Item:Q3449494"
From MaRDI portal
The following pages link to Containment of Monadic Datalog Programs via Bounded Clique-Width (Q3449494):
Displaying 5 items.
- Reasoning about integrity constraints for tree-structured data (Q1650919) (← links)
- Conjunctive query containment over trees using schema information (Q1702301) (← links)
- Eliminating Recursion from Monadic Datalog Programs on Trees (Q2946356) (← links)
- Monadic Datalog Containment (Q3167001) (← links)
- On Bounded Database Schemes and Bounded Horn-Clause Programs (Q3777438) (← links)