On Modelling Behavioural Semantics of Databases.

Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42

@inproceedings{DBLP:conf/vldb/Brodie81,
  author    = {Michael L. Brodie},
  title     = {On Modelling Behavioural Semantics of Databases},
  booktitle = {Very Large Data Bases, 7th International Conference, September
               9-11, 1981, Cannes, France, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1981},
  pages     = {32-42},
  ee        = {db/conf/vldb/Brodie81.html},
  crossref  = {DBLP:conf/vldb/81},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A complete design and specification of a database application must include both structural and behavioural properties. Structure deals with states and static properties while behaviour concerns state transitions and dynamic properties. Most approaches to database design emphasize the importance of behaviour but provide few concepts or tools for behaviour modelllng and integrating behaviour and structure. This paper presents forms of abstraction for behaviour modelling in the context of a well-known semantic data model. Behaviour schemes are presented as aids for behaviour modelling at a gross level of detail. Behaviour specifications are introduced for the precise definition of behavioural properties.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. IEEE Computer Society 1981
Contents

References

[1]: Rudolf Bayer, Hans Heller, Angelika Reiser: Parallelism and Recovery in Database Systems. ACM Trans. Database Syst. 5(2): 139-156(1980)
[2]: ...
[3]: Michael L. Brodie: Axiomatic definitions for data modes semantics. Inf. Syst. 7(2): 183-197(1982)
[4]: Michael L. Brodie: The application of data types to database semantic integrity. Inf. Syst. 5(4): 287-296(1980)
[5]: ...
[6]: ...
[7]: E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979)
[8]: ...
[9]: Edsger W. Dijkstra: A Discipline of Programming. Prentice-Hall 1976
[10]: Odile Foucaut, Colette Rolland: Concepts for Design of an Information System Conceptual Schema and its Utilization in the REMORA Project. VLDB 1978: 342-350
[11]: John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52(1978)
[12]: C. A. R. Hoare, Niklaus Wirth: An Axiomatic Definition of the Programming Language PASCAL. Acta Inf. 2: 335-355(1973)
[13]: Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36
[14]: ...
[15]: ...
[16]: John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980)
[17]: Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977)
[18]: John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977)
[19]: Bo Sundgren: Data Base Design in Theory and Practice. VLDB 1978: 3-16
[20]: ...