A linear logic approach to consistency preserving updates

DOI10.1093/LOGCOM/6.3.439zbMATH Open0851.68025OpenAlexW2087613060MaRDI QIDQ4885626FDOQ4885626

Authors: Nicole Bidoit, Serenella Cerrito, Christine Froidevaux 

Publication date: 10 November 1996

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/43610b3a81471377e0fd77ffd5ad08b940c1ca43

Recommendations

• scientific article; zbMATH DE number 1231515
• scientific article; zbMATH DE number 44621
• scientific article; zbMATH DE number 4049164
• Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
• scientific article; zbMATH DE number 1182730

zbMATH Keywords

linear logicupdate semantics

Mathematics Subject Classification ID

Database theory (68P15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (6)

• Compromised updates in labelled databases
• Most General Property-Preserving Updates
• Database consistency and data input flow
• Title not available (Why is that?)
• Static and dynamic property-preserving updates
• Updateable Inner Product Argument with Logarithmic Verifier and Applications

This page was built for publication: A linear logic approach to consistency preserving updates

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