Declarative semantics for active rules

DOI10.1017/S1471068400001009MaRDI QIDQ4452625zbMATH OpenWikidataFDO

Authors Sergio Flesca, Sergio Greco

Publication date 1 March 2004

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

Full work available at URL https://doi.org/10.1017/S1471068400001009

zbMATH Keywords

deductive databasesstable models

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

(9)

• Database repair via event-condition-action rules in dynamic logic
• scientific article; zbMATH DE number 1304710 (Why is no real title available?)
• scientific article; zbMATH DE number 1096548 (Why is no real title available?)
• scientific article; zbMATH DE number 1182737 (Why is no real title available?)
• The impact of active domain predicates on guarded existential rules
• Passive and active rules in deductive databases
• The impact of active domain predicates on guarded existential rules
• Declarative Semantics of Production Rules for Integrity Maintenance
• Abductive logic programming agents with destructive 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)