On specifying database updates
From MaRDI portal
Recommendations
Cited in
(25)- Specification and verification of database dynamics
- Proving properties of states in the situation calculus
- Deriving properties of belief update from theories of action
- Semantic data modelling using linear logic
- A procedural semantics for stratified database updates
- How to progress a database
- Abduction to plausible causes: an event-based model of belief update
- Reactive computing as model generation
- A test battery for rational database updating
- A transaction-based approach to relational database specification
- scientific article; zbMATH DE number 4049163 (Why is no real title available?)
- scientific article; zbMATH DE number 44621 (Why is no real title available?)
- Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
- scientific article; zbMATH DE number 2080539 (Why is no real title available?)
- scientific article; zbMATH DE number 1507279 (Why is no real title available?)
- scientific article; zbMATH DE number 1507285 (Why is no real title available?)
- scientific article; zbMATH DE number 1390348 (Why is no real title available?)
- XI Latin American Symposium on Mathematical Logic
- scientific article; zbMATH DE number 970717 (Why is no real title available?)
- Foundations of Information and Knowledge Systems
- Regular database update logics
- Reasoning formally about database queries and updates
- Knowledgebase transformations
- Validating database updates
- An axiom system for database transactions
This page was built for publication: On specifying database updates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128529)
