Passive and active rules in deductive databases

DOI10.1007/3-540-58338-6_85zbMATH Open1493.68131OpenAlexW1509971077MaRDI QIDQ5096897FDOQ5096897

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

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

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• The well-founded semantics for general logic programs
• Title not available (Why is that?)
• The family of stable models
• The use of deleted tuples in database querying and updating
• Updating intensional predicates in deductive databases
• Update rules in datalog programs
• Passive and active rules in deductive databases

Cited In (5)

• Passive and active rules in deductive databases
• Title not available (Why is that?)
• 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)