Implementing a categorical information system

Michael Johnson; Robert Rosebrugh

doi:10.1007/978-3-540-79980-1_18

Implementing a categorical information system

Michael Johnson^*, Robert Rosebrugh

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

2 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Algebraic methodology and software technology
Subtitle of host publication	12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings
Editors	José Meseguer, Grigore Roşu
Place of Publication	Berlin
Publisher	Springer, Springer Nature
Pages	232-237
Number of pages	6
ISBN (Print)	3540799796, 9783540799795
DOIs	https://doi.org/10.1007/978-3-540-79980-1_18
Publication status	Published - 2008
Event	12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008 - Urbana, IL, United States Duration: 28 Jul 2008 → 31 Jul 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5140 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008
Country/Territory	United States
City	Urbana, IL
Period	28/07/08 → 31/07/08

Access to Document

10.1007/978-3-540-79980-1_18

Cite this

Johnson, M., & Rosebrugh, R. (2008). Implementing a categorical information system. In J. Meseguer, & G. Roşu (Eds.), Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings (pp. 232-237). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5140 LNCS). Springer, Springer Nature. https://doi.org/10.1007/978-3-540-79980-1_18

Johnson, Michael ; Rosebrugh, Robert. / Implementing a categorical information system. Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings. editor / José Meseguer ; Grigore Roşu. Berlin : Springer, Springer Nature, 2008. pp. 232-237 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b61a142216134becb0df125e6ff7036d,

title = "Implementing a categorical information system",

abstract = "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.",

author = "Michael Johnson and Robert Rosebrugh",

year = "2008",

doi = "10.1007/978-3-540-79980-1_18",

language = "English",

isbn = "3540799796",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "232--237",

editor = "Jos{\'e} Meseguer and Grigore Ro{\c s}u",

booktitle = "Algebraic methodology and software technology",

address = "United States",

note = "12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008 ; Conference date: 28-07-2008 Through 31-07-2008",

}

Johnson, M & Rosebrugh, R 2008, Implementing a categorical information system. in J Meseguer & G Roşu (eds), Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5140 LNCS, Springer, Springer Nature, Berlin, pp. 232-237, 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, Urbana, IL, United States, 28/07/08. https://doi.org/10.1007/978-3-540-79980-1_18

Implementing a categorical information system. / Johnson, Michael; Rosebrugh, Robert.
Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings. ed. / José Meseguer; Grigore Roşu. Berlin: Springer, Springer Nature, 2008. p. 232-237 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5140 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Implementing a categorical information system

AU - Johnson, Michael

AU - Rosebrugh, Robert

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=51049114295&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-79980-1_18

DO - 10.1007/978-3-540-79980-1_18

M3 - Conference proceeding contribution

AN - SCOPUS:51049114295

SN - 3540799796

SN - 9783540799795

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 232

EP - 237

BT - Algebraic methodology and software technology

A2 - Meseguer, José

A2 - Roşu, Grigore

PB - Springer, Springer Nature

CY - Berlin

T2 - 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008

Y2 - 28 July 2008 through 31 July 2008

ER -

Johnson M, Rosebrugh R. Implementing a categorical information system. In Meseguer J, Roşu G, editors, Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings. Berlin: Springer, Springer Nature. 2008. p. 232-237. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-79980-1_18

Implementing a categorical information system

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this