When databases roamed computing: formal database specification revisited perspective of language

MaRDI QIDQ5067958zbMATH OpenFDO

Authors Ionuţ Ţuţu, Claudia Elena Chiriţă, José Fiadeiro

Publication date 4 April 2022

zbMATH Keywords

algebraic specificationformal database developmentinstitution theoryKripke semanticsstepwise refinement

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 3936494
• An Informal Approach to Formal (Algebraic) Specifications
• Specification and verification of database dynamics
• Algebraic foundations for specification refinements
• Institutions for SQL database schemas and datasets

This page was built for publication: When databases roamed computing: formal database specification revisited perspective of language

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