View updates in a semantic data modelling paradigm

M. Johnson, R. Rosebrugh, C. N G Dampney

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

9 Citations (Scopus)

Abstract

The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in several consultancies with major Australian companies. This paper describes the SkDM and investigates the view update problem (VUP) in the SkDM paradigm. It proposes an approach to the VUP in the SkDM, and presents a range of examples to illustrate the scope of the proposed technique. In common with previously proposed approaches, we define under what circumstances a view update can be propagated to the underlying database. Unlike many previously proposed approaches, the definition is succinct and consistent, with no ad-hoc exceptions and with the propagatable updates from a broad class. We avoid ad-hoc exceptions by basing the definition of "propagatable" on the state of the underlying database. Examples are given that demonstrate that, under a range of circumstances, a view schema can be shown to have propagatable views in all states, and thus state independence can frequently be recovered.

Original languageEnglish
Title of host publicationProceedings - 12th Australasian Database Conference, ADC 2001
EditorsMaria E. Orlowska, John F. Roddick
Place of PublicationPiscataway, NJ
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages29-36
Number of pages8
ISBN (Electronic)9780769509662
ISBN (Print)0769509665
DOIs
Publication statusPublished - 2001
Event12th Australasian Database Conference, ADC 2001 - Gold Coast, Australia
Duration: 29 Jan 20011 Feb 2001

Other

Other12th Australasian Database Conference, ADC 2001
CountryAustralia
CityGold Coast
Period29/01/011/02/01

    Fingerprint

Keywords

  • category theory
  • data model
  • semantic data modelling
  • View update

Cite this

Johnson, M., Rosebrugh, R., & Dampney, C. N. G. (2001). View updates in a semantic data modelling paradigm. In M. E. Orlowska, & J. F. Roddick (Eds.), Proceedings - 12th Australasian Database Conference, ADC 2001 (pp. 29-36). [904461] Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/ADC.2001.904461