Fetching the paper…
Reading the bibliography…
In this paper we present a simple database definition language: that of categories and functors.
Rosen, R. “The representation of biological systems for the stand-point of the theory of categories.” (1958) Bull. Math. Biophys
1958
Earlier work this paper cites.
Kanda, Akira. ”Data types as initial algebras: A unification of Scottery and ADJery,” Foundations of Computer Science, IEEE Annual Symposium on, pp. 221-230, 19th Annual Symposium on Foundations of Computer Science (FOCS 1978), 1978
1978
Earlier work this paper cites.
Martin-Löf, P. Intuitionistic type theory
1984
Earlier work this paper cites.
Moggi, E. “A category-theoretic account of program modules.” Category theory and computer science (Manchester, 1989),
1989
Earlier work this paper cites.
Barr, M.; Wells, C. Category theory for computing science
1990
Earlier work this paper cites.
B. Pierce, Basic category theory for computer scientists. Foundations of Computing Series. MIT Press, Cambridge, MA, 1991, pp. 391–407
1991
Earlier work this paper cites.
Goguen, J. Sheaf Semantics for Concurrent Interacting Objects
1992
Earlier work this paper cites.
Goguen, J.A.; Burstall, R.M. Institutions: abstract model theory for specification and programming , J. Assoc. Comput. Mach. 39
1992
Earlier work this paper cites.
Rosebrugh, R.; Wood, R.J. Relational databases and indexed categories , Category theory 1991 (Montreal, PQ, 1991), CMS Conf. Proc., vol. 13, Amer. Math. Soc., Providence, RI, 1992
1992
Earlier work this paper cites.
Johnson, M.; Dampney, C.N.G. “On the value of commutative diagrams in information modeling.” AMAST ’93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology. Springer-Verlag, 1993
1993
Earlier work this paper cites.
Borceux, F. Handbook of categorical algebra 1
1994
Earlier work this paper cites.
Baclawski, K., Simovici, D., White, W. “A categorical approach to database semantics” Mathematical structures in Computer Science
1994
Earlier work this paper cites.
Diskin, Z.; Kadish, B. Algebraic graph-oriented=category-theory-based manifesto of categorizing data base theory , Tech. report, Frame Inform Systems, 1994
1994
Earlier work this paper cites.
Islam, A., Phoa, W. “Categorical models of relational databases I: fibrational fomulation, schema integration”. Lecture Notes in Comput. Sci.,
1994
Earlier work this paper cites.
Mac Lane, S.; Moerdijk, I. Sheaves in Geometry and Logic: a first introduction to topos theory
1994
Earlier work this paper cites.
Tuijn, C. “Data modeling from a categorical perspective” PhD. thesis. University of Antwerpen, 1994
1994
Earlier work this paper cites.
Piessens, F.; Steegmans, E. Categorical data-specifications , Theory Appl. Categ. 1
1995
Earlier work this paper cites.
Diskin, Z. Databases as diagram algebras: Specifying queries and views via the graph-based logic of sketches , Tech. report, Frame Inform Systems, 1996
1996
Earlier work this paper cites.
Lellahi, K.; Tannen, V. “A calculus for collections and aggregates.” Proceeding CTCS ’97 Proceedings of the 7th International Conference on Category Theory and Computer Science. Springer-Verlag, 1997
1997
Cited alongside, same era.
Makkai, M. Generalized sketches as a framework for completeness theorems I
1997
Cited alongside, same era.
Mac Lane, S. Categories for the working mathematician
1998
Cited alongside, same era.
Fowler, M. Refactoring: improving the design of existing code
1999
Cited alongside, same era.
Stone, C.; Harper, R. “Decidable type equivalence in a language with singleton kinds”. Principles of programming languages conference, 1999
1999
Cited alongside, same era.
Lawvere, F.W.; Schanuel, S.H. Conceptual Mathematics. A First Introduction to Categories
2009
Later among the works it cites.
Barbosa, D.M.J.; Cretin, J.; Foster, N.; Greenberg, M.; Pierce, B. “Matching Lenses: Alignment and View update”. Department of Computer and Information science, Technical reports. 2010
2010
Closest in time.
Spivak, D.I. Table manipulation in simplicial databases
2010
Closest in time.
Baez, J.; Stay, M. “Physics, topology, logic and computation: a Rosetta Stone.” New structures for physics
2011
Closest in time.
Emasri, R.; Navathe, S. Database systems: models, languages, design, and application programming
2011
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2001
Cited alongside, same era.
Bernstein, P.A. Generic model management: A database infrastructure for schema manipulation , pp. 1–6, Springer Berlin/Heidelberg, 2001
2001
Cited alongside, same era.
Johnson, M. “On Category Theory as a (meta) Ontology for Information Systems Research” Proceedings of the international conference on Formal Ontology in INformation Systems
2001
Cited alongside, same era.
Johnstone, P. Sketches of an elephant, Volume 1,2
2002
Cited alongside, same era.
Johnson, M.; Rosebrugh, R.; Wood, R.J. Entity-relationship-attribute designs and sketches , Theory Appl. Categ. 10
2002
Cited alongside, same era.
Korotkiy, M.; Top, J. From relational data to RDFS models
2004
Cited alongside, same era.
Cook, W.R.; Ibrahim, A.H. ÒIntegrating Programming Languages & Databases: WhatÕs the Problem?Ó ODBMS Expert Article. 2005
2005
Cited alongside, same era.
Giesa, T.; Spivak, D.I.; Buehler, M.J. “Reoccurring Patterns in Hierarchical Protein Materials and Music: The Power of Analogies” (2011) BioNanoScience
2011
Closest in time.
Hamana, M. “Polymorphic abstract syntax via Grothendieck construction.” Lecture notes in computer science, 2011, Vol 6604, 381-395
2011
Closest in time.
Spivak, D.I.; Giesa, T.; Wood, E.; Buehler, M.J. (2011) “Category Theoretic Analysis of Hierarchical Protein Materials and Social Networks.” PLoS ONE 6(9): e23911. doi:10.1371/journal.pone.0023911
2011
Closest in time.
Awodey, S. Category Theory
2012
Closest in time.
Barr, M.; Wells, C. Toposes, Triples, and Theories
2012
Closest in time.
Diskin, Z.; Cadish, B. “Databases as Graphical Algebras: Algebraic Graph-Based Approach to Data Modeling and Database Design”. Available online: h
2012
Closest in time.
Joyal, A. Catlab
2012
Closest in time.
Klyne G.; Carroll J.J. (Editors). “Resource Description Framework (RDF): Concepts and Abstract Syntax” W3C Recommendation
2012
Closest in time.
Spivak, D.I. Simplicial databases
2012
Closest in time.
Spivak, D.I. “Functorial data migration”. (2010) ePrint available: h
2012
Closest in time.
Spivak, D.I. “Queries and constraints via lifting problems”. (2012) Available online: h
2012
Closest in time.
Spivak, D.I., Kent, R. “Ologs: a category-theoretic foundation for knowledge representation” (2012) PLoS ONE
2012
Closest in time.