Specifying database transactions and active rules in the situation calculus

MaRDI QIDQ4934640zbMATH OpenFDO

Authors Leopoldo Bertossi, Javier Pinto, Ricardo Valdivia

Publication date 3 April 2000

zbMATH Keywords

database transactionspredicate logic

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1182737
• Analysis and optimization of active databases
• scientific article; zbMATH DE number 970717
• On specifying database updates
• scientific article; zbMATH DE number 603372

Cited in

(5)

• Database repair via event-condition-action rules in dynamic logic
• Specification of an active database system application using dynamic relation nets
• Non-situation calculus and database systems
• A Unified Semantics for Constraint Handling Rules in Transaction Logic
• scientific article; zbMATH DE number 970717 (Why is no real title available?)

This page was built for publication: Specifying database transactions and active rules in the situation calculus

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