Pages that link to "Item:Q1062477"
From MaRDI portal
The following pages link to On recursive axioms in deductive databases (Q1062477):
Displayed 10 items.
- A time bound on the materialization of some recursively defined views (Q578941) (← links)
- On the existence of nonterminating queries for a restricted class of PROLOG-clauses (Q582150) (← links)
- A semantic approach to optimize linear datalog programs (Q854685) (← links)
- Inferences for numerical dependencies (Q1079963) (← links)
- Controlling recursive inference (Q1097714) (← links)
- Recursive query processing: The power of logic (Q1262144) (← links)
- A hypergraph model for constraint logic programming and applications to bus drivers' scheduling (Q1353919) (← links)
- Using automata theory for characterizing the semantics of terminological cycles (Q1380409) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- Answering atomic queries in indefinite deductive databases (Q3486861) (← links)