Fibrations and universal view updatability

DOI10.1016/j.tcs.2007.06.004zbMath1143.68014OpenAlexW2000480185MaRDI QIDQ2464937

Michael Johnson, Robert D. Rosebrugh

Publication date: 18 December 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.06.004

zbMATH Keywords

sketchdatabasefibrationsemantic data modelview update

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Abstract data types; algebraic specification (68Q65)

Related Items (5)

Relational lattices: from databases to universal algebra ⋮ Lenses, fibrations and universal translations ⋮ The more legs the merrier: A new composition for symmetric (multi-)lenses ⋮ System Consequence ⋮ Modalities for an allegorical conceptual data model

Cites Work

• CGOOD, a categorical graph-oriented object data model
• An order-based theory of updates for closed database views
• Sketch Data Models, Relational Schema and Data Specifications
• Properties and update semantics of consistent views
• Update semantics of relational views
• On the correct translation of update operations on relational views
• Categories and Computer Science
• A categorical approach to database semantics
• A category theory approach to conceptual data modeling
• Combinators for bi-directional tree transformations
• Constant Complements, Reversibility and Universal View Updates
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fibrations and universal view updatability