Passive and active rules in deductive databases

DOI10.1007/3-540-58338-6_85MaRDI QIDQ5096897zbMATH OpenOpenAlexFDO

Authors Mírian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos

Publication date 18 August 2022

Published in Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58338-6_85

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1304710
• Declarative semantics for active rules
• scientific article; zbMATH DE number 1182737
• scientific article; zbMATH DE number 1096548
• Analysis and optimization of active databases

Cites work

• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• Passive and active rules in deductive databases
• The family of stable models
• The use of deleted tuples in database querying and updating
• The well-founded semantics for general logic programs
• Update rules in datalog programs
• Updating intensional predicates in deductive databases

Cited in

(5)

• Passive and active rules in deductive databases
• scientific article; zbMATH DE number 603372 (Why is no real title available?)
• Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
• Update rules in Datalog programs
• Declarative semantics for active rules

This page was built for publication: Passive and active rules in deductive databases

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