View updatability based on the models of a formal specification

DOI10.1007/3-540-45251-6_31MaRDI QIDQ2764001zbMATH OpenFDO

Authors Michael Johnson, Robert Rosebrugh

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2021/20210534

zbMATH Keywords

category theoryconceptual modellingdata modelformal specificationinformation systemView update, database

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• Fibrations and universal view updatability
• Constant Complements, Reversibility and Universal View Updates
• Foundations of canonical update support for closed database views
• Updates of Relational Views
• View update in entity-relationship approach

Cited in

(4)

• Fibrations and universal view updatability
• Sketch data models, relational schema and data specifications
• Category theoretic models of data refinement
• Constant Complements, Reversibility and Universal View Updates

This page was built for publication: View updatability based on the models of a formal specification

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