A linear logic approach to consistency preserving updates

DOI10.1093/LOGCOM/6.3.439MaRDI QIDQ4885626zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

linear logicupdate semantics

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Compromised updates in labelled databases
• Database consistency and data input flow
• Most General Property-Preserving Updates
• scientific article; zbMATH DE number 1453061 (Why is no real title available?)
• 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)