Declarative semantics for active rules

DOI10.1017/S1471068400001009MaRDI QIDQ4452625zbMATHWikidataFDO

Authors Sergio Flesca, Sergio Greco

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

stable modelsdeductive databases

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1182737
• Declarative Semantics for Active Integrity Constraints
• Passive and active rules in deductive databases
• Analysis and optimization of active databases
• Declarative Semantics of Production Rules for Integrity Maintenance

Cited in

(6)

• Declarative Semantics of Production Rules for Integrity Maintenance
• The impact of active domain predicates on guarded existential rules
• Database repair via event-condition-action rules in dynamic logic
• Abductive logic programming agents with destructive databases
• The impact of active domain predicates on guarded existential rules
• Passive and active rules in deductive databases

This page was built for publication: Declarative semantics for active rules

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