Constant complements, reversibility and universal view updates

Michael Johnson*, Robert Rosebrugh

*Corresponding author for this work

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

6 Citations (Scopus)

Abstract

The algebraic specification of information systems (including databases) has been advanced by the introduction of category theoretic sketches and in particular by the authors' Sketch Data Model (SkDM). The SkDM led to a new treatment of view updating using universal properties already studied in category theory. We call the new treatment succinctly "universal updating". This paper outlines the theory of universal updating and studies the relationships between it and recent theoretical results of Hegner and Lechtenbörger which in turn studied the classical "constant complement" approach to view updates. The main results demonstrate that constant complement updates are universal, that on the other hand there are sometimes universal updates even in the absence of constant complements, and that in the SkDM constant complement updates are reversible. We show further that there may be universal updates which are reversible even for views which have no complement. In short, the universal updates provide an attractive option including reversibility, even when constant complements are not available. The paper is predominantly theoretical studying different algebraic approaches to information system software but it also has important practical implications since it shows that universal updates have important properties in common with classical updates but they may be available even when classical approaches fail.

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
Pages238-252
Number of pages15
ISBN (Print)3540799796, 9783540799795
DOIs
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

Other

Other12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008
CountryUnited States
CityUrbana, IL
Period28/07/0831/07/08

Fingerprint Dive into the research topics of 'Constant complements, reversibility and universal view updates'. Together they form a unique fingerprint.

Cite this