A category theory approach to conceptual data modeling
RAIRO-Theor. Inf. Appl., 30 1 (1996) 31-79
Published online: 2017-02-01
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Perspectives of semantic modeling in categories
William SteingartnerJournal of King Saud University Computer and Information Sciences 37 (3) (2025)
https://doi.org/10.1007/s44443-025-00010-9
365 (2022)
https://doi.org/10.1145/3477314.3507690
A unified representation and transformation of multi-model data using category theory
Pavel Koupil and Irena HolubováJournal of Big Data 9 (1) (2022)
https://doi.org/10.1186/s40537-022-00613-3
635 (2021)
https://doi.org/10.1109/MODELS-C53483.2021.00098
Model and Data Engineering
Martin Svoboda, Pavel Čontoš and Irena HolubováLecture Notes in Computer Science, Model and Data Engineering 12732 190 (2021)
https://doi.org/10.1007/978-3-030-78428-7_15
134 (2021)
https://doi.org/10.1145/3472163.3472166
Intelligent Computing
Christian MancasAdvances in Intelligent Systems and Computing, Intelligent Computing 997 390 (2019)
https://doi.org/10.1007/978-3-030-22871-2_27
Model and Data Engineering
Bartosz Zieliński, Paweł Maślanka and Ścibor SobieskiLecture Notes in Computer Science, Model and Data Engineering 8216 278 (2013)
https://doi.org/10.1007/978-3-642-41366-7_24
Fibrations and universal view updatability
Michael Johnson and Robert RosebrughTheoretical Computer Science 388 (1-3) 109 (2007)
https://doi.org/10.1016/j.tcs.2007.06.004
Enterprise Interoperability
Michael JohnsonEnterprise Interoperability 521 (2007)
https://doi.org/10.1007/978-1-84628-714-5_48
Algebra and Coalgebra in Computer Science
Scott AlexanderLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 96 (2007)
https://doi.org/10.1007/978-3-540-73859-6_7
Three approaches to partiality in the sketch data model1 1Research partially supported by the Australian Research Council and NSERC Canada.
Michael Johnson and Robert RosebrughElectronic Notes in Theoretical Computer Science 78 82 (2003)
https://doi.org/10.1016/S1571-0661(04)81007-7
369 (2003)
https://doi.org/10.1109/ICSM.2003.1235444
Sketch Data Models, Relational Schema and Data Specifications
Michael Johnson and Robert RosebrughElectronic Notes in Theoretical Computer Science 61 51 (2002)
https://doi.org/10.1016/S1571-0661(04)00305-6
32 (2001)
https://doi.org/10.1109/ICSM.2001.972709
FME 2001: Formal Methods for Increasing Software Productivity
Michael Johnson and Robert RosebrughLecture Notes in Computer Science, FME 2001: Formal Methods for Increasing Software Productivity 2021 534 (2001)
https://doi.org/10.1007/3-540-45251-6_31
How to formalize it?
A.H.M. ter Hofstede and H.A. ProperInformation and Software Technology 40 (10) 519 (1998)
https://doi.org/10.1016/S0950-5849(98)00078-0
Exploiting fact verbalisation in conceptual information modelling
Arthur H.M. ter Hofstede, Henderik A. Proper and Theo P. van der WeideInformation Systems 22 (6-7) 349 (1997)
https://doi.org/10.1016/S0306-4379(97)00022-7