Database updates and transition constraints: A formula-based approach

DOI10.1002/INT.4550090111MaRDI QIDQ4293725zbMATH OpenOpenAlexFDO

Authors Laurence Cholvy

Publication date 7 July 1994

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.4550090111

zbMATH Keywords

belief revisiondatabase updatesknowledge basetransition constraintsupdate semantics

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1708075
• scientific article; zbMATH DE number 1406248
• An Algorithmic Logic Approach to Formalizing Database Update Semantics
• Logic Based Program Synthesis and Transformation
• Maintenance of queries under database changes: a unified logic based approach
• A view update equational translator for relational database systems
• scientific article; zbMATH DE number 559226
• Conceptual level concurrency control of relational update transactions

Cites work

• scientific article; zbMATH DE number 4166927 (Why is no real title available?)
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• Knowledge in flux. Modeling the dynamics of epistemic states

Cited in

(4)

• Semantic data modelling using linear logic
• Belief fusion and revision: an overview based on epistemic logic semantics
• scientific article; zbMATH DE number 4049163 (Why is no real title available?)
• scientific article; zbMATH DE number 1406248 (Why is no real title available?)

This page was built for publication: Database updates and transition constraints: A formula-based approach

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