Implementing a Categorical Information System

Authors:
Michael Johnson;Robert Rosebrugh
Affiliations:
Department of Computer Science, Macquarie University,;Department of Mathematics and Computer Science, Mount Allison University,
Venue:
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Year:
2008

Citing 6
Cited 0

Categories and computer science

Categories and computer science
The functional data model and the data languages DAPLEX

ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Experience in developing interoperations among legacy information systems using partial reverse engineering

ICSM '03 Proceedings of the International Conference on Software Maintenance
Fibrations and universal view updatability

Theoretical Computer Science
Constant Complements, Reversibility and Universal View Updates

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

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.