A note on fixpoint techniques in data base recursive logic programs

DOI10.1051/ITA/1988220100491MaRDI QIDQ3792286zbMATH OpenOpenAlexFDO

Authors Irène Guessarian

Publication date 1988

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92300

zbMATH Keywords

databaseregular querieslogic programswhile loopfixed point techniquesnonlinear recursive queries

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• Fixpoint strategies for deductive databases
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• scientific article; zbMATH DE number 4094869
• scientific article; zbMATH DE number 1134643
• Fixing incremental computation. Derivatives of fixpoints, and the recursive semantics of Datalog
• On the equivalence of recursive and nonrecursive Datalog programs
• Experimenting with recursive queries in database and logic programming systems
• Fixpoint semantics for logic programming a survey
• On recursive axioms in deductive databases

Cites work

• scientific article; zbMATH DE number 3874667 (Why is no real title available?)
• Bounds in the propagation of selection into logic programs
• Structure and complexity of relational queries

Cited in

(5)

• Database repair via event-condition-action rules in dynamic logic
• A correction of the termination conditions of the Henschen-Naqvi technique
• scientific article; zbMATH DE number 1134643 (Why is no real title available?)
• Recursive query processing: The power of logic
• Fixpoint strategies for deductive databases

This page was built for publication: A note on fixpoint techniques in data base recursive logic programs

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