On compiling queries in recursive first-order databases

DOI10.1145/2422.2423MaRDI QIDQ3766890zbMATH OpenOpenAlexFDO

Authors Lawrence Henschen, Shamim Naqvi

Publication date 1984

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2422.2423

zbMATH Keywords

resolutionlogic programmingrelational databaseprogram synthesisrecursively defined relationslogic program compilationfirst-order databasefunction-free first-order theory

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65)

Recommendations

• Implementation of logical query languages for databases
• scientific article; zbMATH DE number 3982568
• scientific article; zbMATH DE number 4092827
• scientific article; zbMATH DE number 4106311
• Data independent recursion in deductive databases

Cited in

(34)

• Average-case complexity for the execution of recursive definitions on relational databases (paper no 50-95 accepted for publication in ACTA INFORMATICA)
• Logic programming with sets
• Substitution-based compilation of extended rules in deductive databases
• On the graph traversal method for evaluating linear binary-chain programs
• A relational approach to logic programming: The extended Alexander method
• scientific article; zbMATH DE number 1953141 (Why is no real title available?)
• scientific article; zbMATH DE number 4043316 (Why is no real title available?)
• Implementation of logical query languages for databases
• The generalized counting method for recursive logic queries
• Compilation and evaluation of linear mutual recursions
• Answering atomic queries in indefinite deductive databases
• A time bound on the materialization of some recursively defined views
• Data independent recursion in deductive databases
• Bounds in the propagation of selection into logic programs
• Magic sets revisited
• Recursive query processing in predicate-goal graph
• Controlling recursive inference
• First-Order Queries over One Unary Function
• First-order queries on databases embedded in an infinite structure
• scientific article; zbMATH DE number 2080398 (Why is no real title available?)
• Structural recursion as a query language on lists and ordered trees
• A graph-based decomposition approach for recursive query processing
• A counting algorithm for a cyclic binary query
• Recursive query processing: The power of logic
• Paraconsistent disjunctive deductive databases
• On first-order-logic databases
• scientific article; zbMATH DE number 4106311 (Why is no real title available?)
• Translation of logic programs into functional fixpoint equations
• Fixpoint strategies for deductive databases
• The parallel complexity of single rule logic programs
• Characterization and processing of simple prefixed-chain recursion
• Magic semi-joins
• One-sided recursions
• scientific article; zbMATH DE number 4092827 (Why is no real title available?)

This page was built for publication: On compiling queries in recursive first-order databases

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