Pages that link to "Item:Q1062477"

The following pages link to On recursive axioms in deductive databases (Q1062477):

Displaying 13 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)
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases (Q1820593) (← links)
• Jack Minker --- A profile (Q1924718) (← links)
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets (Q2369012) (← links)
• Answering atomic queries in indefinite deductive databases (Q3486861) (← links)
• A note on fixpoint techniques in data base recursive logic programs (Q3792286) (← links)