Update algorithms for the sketch data model

Michael Johnson, Robert Rosebrugh

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

1 Citation (Scopus)

Abstract

The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important question remains: What are the algorithms that support updates in the sketch data model? The question has significant content since the sketch data model uses EA-sketches to specify data structures, and these include constraint and other information not normally supported by relational database management systems. In this paper we answer the question by using the framework of EA sketches to give a detailed mathematical treatment of database updates, providing a formal definition of insert update together with an algorithm which provably achieves updates. The algorithm is new as it is the first to treat data and constraints on an equal categorical footing. We also note that further exactness properties (limits and colimits) can aid specification, and we provide algorithms for updates of EA sketched databases with finite limits. These are the first update algorithms for such databases. The sketch data model is being used in industry for designing interoperations for computer supported cooperative work and computer assisted software engineering (CASE) tools are under development. The paper is predominantly theoretical, and provides an important link needed for CASE tool development.

Original languageEnglish
Title of host publicationProceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design
EditorsWeiming Shen, Zongkai Lin, Jean-Paul Barthes, Mohamed Kamel
Place of PublicationOttawa, Canada
PublisherNational Research Council of Canada
Pages367-376
Number of pages10
ISBN (Print)0660189431
DOIs
Publication statusPublished - 2001
EventSixth International Conference on Computer Supported Cooperative Work in Design - London, Canada
Duration: 12 Jul 200114 Jul 2001

Conference

ConferenceSixth International Conference on Computer Supported Cooperative Work in Design
CityLondon, Canada
Period12/07/0114/07/01

Fingerprint Dive into the research topics of 'Update algorithms for the sketch data model'. Together they form a unique fingerprint.

Cite this