Implementing a categorical information system

Michael Johnson*, Robert Rosebrugh

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review


The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) and mathematically describes databases, views and their updates, and other database concepts. The system described here is a freely available graphical Java environment with a module that compiles a design incorporating algebraically specified constraints into database schemas that interface directly with modern database management systems. It therefore supports, inter alia, rapid prototyping.

Original languageEnglish
Title of host publicationAlgebraic methodology and software technology
Subtitle of host publication12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings
EditorsJosé Meseguer, Grigore Roşu
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages6
ISBN (Print)3540799796, 9783540799795
Publication statusPublished - 2008
Event12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008 - Urbana, IL, United States
Duration: 28 Jul 200831 Jul 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5140 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


Other12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008
CountryUnited States
CityUrbana, IL

Fingerprint Dive into the research topics of 'Implementing a categorical information system'. Together they form a unique fingerprint.

Cite this