Pages that link to "Item:Q3140022"
From MaRDI portal
The following pages link to Undecidable optimization problems for database logic programs (Q3140022):
Displaying 26 items.
- Querying data sources that export infinite sets of views (Q639847) (← links)
- Tie-breaking semantics and structural totality (Q676419) (← links)
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- Logical query optimization by proof-tree transformation (Q686647) (← links)
- A more general theory of static approximations for conjunctive queries (Q778535) (← links)
- A semantic approach to optimize linear datalog programs (Q854685) (← links)
- Data independent recursion in deductive databases (Q1123651) (← links)
- The functional dimension of inductive definitions (Q1193414) (← links)
- OLDTNF-based evaluation method for handling recursive queries in deductive databases (Q1286645) (← links)
- Bounded arity Datalog \((\neq)\) queries on graphs (Q1376404) (← links)
- Can datalog be approximated? (Q1376415) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- Bounds in the propagation of selection into logic programs (Q1813949) (← links)
- On the decidability of the termination problem of active database systems (Q1884939) (← links)
- Generalization of ZYT-linearizability for bilinear datalog programs (Q1887164) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Eliminating Recursion from Monadic Datalog Programs on Trees (Q2946356) (← links)
- A datalog-based computational model for coordination-free, data-parallel systems (Q4559834) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- Characterizing Boundedness in Chase Variants (Q4957209) (← links)
- Guarded Ontology-Mediated Queries (Q5015964) (← links)
- (Q5028455) (← links)
- (Q5091266) (← links)
- About boundedness for some datalog and DATALOGneg programs (Q5096840) (← links)
- Infinitary logic for computer science (Q5204339) (← links)
- A Logical Approach to Constraint Satisfaction (Q5504702) (← links)
