Modalities for an allegorical conceptual data model

DOI10.3390/AXIOMS3020260zbMath1321.18002OpenAlexW2027485769MaRDI QIDQ2345053

Bartosz Zielinski, Ścibór Sobieski, Pawel Maslanka

Publication date: 19 May 2015

Published in: Axioms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3390/axioms3020260

zbMATH Keywords

modal logicdata modelingallegories

Mathematics Subject Classification ID

Database theory (68P15) Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Enriched categories (over closed or monoidal categories) (18D20) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (1)

Weak \(n\)-ary relational products in allegories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Products in categories of relations
• Ultraproducts and possible worlds semantics in institutions
• Fibrations and universal view updatability
• Sketch Data Models, Relational Schema and Data Specifications
• Lenses, fibrations and universal translations
• A category theory approach to conceptual data modeling

This page was built for publication: Modalities for an allegorical conceptual data model