A correction of the termination conditions of the Henschen-Naqvi technique

DOI10.1145/96559.96562MaRDI QIDQ3495672zbMATH OpenOpenAlexFDO

Authors David A. Briggs

Publication date 1990

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

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

zbMATH Keywords

iterative programslogic program compilationqueriesrecursively defined relations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• A note on fixpoint techniques in data base recursive logic programs
• Implementation of logical query languages for databases
• Chase of recursive queries
• scientific article; zbMATH DE number 4106311
• Data independent recursion in deductive databases

This page was built for publication: A correction of the termination conditions of the Henschen-Naqvi technique

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