A structured specification of an active database system

Jack Campin, Norman W. Paton, Howard Williams

Research output: Contribution to journalArticle

Abstract

Active database systems are a current focus of considerable research interest, as a means of supporting a range of tasks including constraint enforcement, real-time applications and derived data management. However, although many different proposals have been made for active rule systems, such proposals are normally described in an informal manner, which makes it difficult to understand how different proposals differ or how a set of rules will behave. This paper compares a range of formal specification methods, considering how suitable they are for describing active database functionality, and then shows how the model-based notation Object-Z, an object-oriented extension of Z, can be used to specify the semantics of a representative active database system, namely Starburst. © 1995.

Original languageEnglish
Pages (from-to)47-61
Number of pages15
JournalInformation and Software Technology
Volume37
Issue number1
Publication statusPublished - 1995

Keywords

  • active database
  • active rules
  • formal specification
  • Object-Z
  • Starburst
  • Z

Fingerprint Dive into the research topics of 'A structured specification of an active database system'. Together they form a unique fingerprint.

Cite this