Pages that link to "Item:Q555766"
From MaRDI portal
The following pages link to Decidable containment of recursive queries (Q555766):
Displaying 9 items.
- A theoretical framework for knowledge-based entity resolution (Q402127) (← links)
- The complexity of higher-order queries (Q498405) (← links)
- Conjunctive query containment with respect to views and constraints (Q672739) (← links)
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- Regular queries on graph databases (Q2402613) (← links)
- Eliminating Recursion from Monadic Datalog Programs on Trees (Q2946356) (← links)
- (Q4414545) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
- Monadic Datalog, Tree Validity, and Limited Access Containment (Q4972170) (← links)