scientific article; zbMATH DE number 3982568

MaRDI QIDQ3746931zbMATH OpenFDO

Authors A. V. Golovko

Publication date 1986

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• On recursive axioms in deductive databases
• scientific article; zbMATH DE number 4106311
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases
• scientific article; zbMATH DE number 4094869
• Data independent recursion in deductive databases

Cited in

(16)

• On recursive axioms in deductive databases
• Controlling recursive inference
• Data independent recursion in deductive databases
• Recursive query processing: The power of logic
• OLDTNF-based evaluation method for handling recursive queries in deductive databases
• An algorithm to convert graphs into EDNF
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases
• On the top-down method of establishment of the deducibility in logical databases
• On compiling queries in recursive first-order databases
• A problem-oriented inferential database system
• scientific article; zbMATH DE number 4092827 (Why is no real title available?)
• scientific article; zbMATH DE number 4094869 (Why is no real title available?)
• Minimizing function-free recursive inference rules
• scientific article; zbMATH DE number 219217 (Why is no real title available?)
• A time bound on the materialization of some recursively defined views
• Implication of functional dependencies for recursive queries

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746931)