Declarative semantics for active rules

DOI10.1017/S1471068400001009zbMATH Open1066.68522WikidataQ128659290 ScholiaQ128659290MaRDI QIDQ4452625FDOQ4452625

Authors: Sergio Flesca, Sergio Greco 

Publication date: 1 March 2004

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

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

zbMATH Keywords

stable modelsdeductive databases

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (6)

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

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)