ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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}
}
BibTeX

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.

Copyright © 1981 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

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

References

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

Referenced by

  1. Danilo Montesi, Elisa Bertino, Maurizio Martelli: Transactions and Updates in Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(5): 784-797(1997)
  2. Qing Li, Dennis McLeod: Conceptual Database Evolution Through Learning in Object Databases. IEEE Trans. Knowl. Data Eng. 6(2): 205-224(1994)
  3. Marco A. Casanova, Antonio L. Furtado, Luiz Tucherman: A Software Tool for Modular Database Design. ACM Trans. Database Syst. 16(2): 209-234(1991)
  4. Jianwen Su: Dynamic Constraints and Object Migration. VLDB 1991: 233-242
  5. Mokrane Bouzeghoub, Elisabeth Métais: Semantic Modeling of Object Oriented Databases. VLDB 1991: 3-14
  6. Mokrane Bouzeghoub, Elisabeth Métais: Semantic Modelling and Object-Oriented Modelling: Two Complementary Paradigms. ER 1991: 325-348
  7. John Winans, Kathi Hogshead Davis: Software Reverse Engineering from a Currently Existing IMS Database to an Entity-Relationship Model. ER 1990: 345-360
  8. Clement T. Yu, Wei Sun: Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization. IEEE Trans. Knowl. Data Eng. 1(3): 362-375(1989)
  9. Xiaolei Qian, Richard J. Waldinger: A Transaction Logic for Database Specification. SIGMOD Conference 1988: 243-250
  10. Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250
  11. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
  12. Gunter Schlageter, Rainer Unland, Wolfgang Wilkes, Rainer Zieschang, G. Maul, Manfred Nagl, Renate Meyer: OOPS - An Object Oriented Programming System with Integrated Data Management Faciltity. ICDE 1988: 118-125
  13. L. Edwin McKenzie, Richard T. Snodgrass: Extending the Relational Algebra to Support Transaction Time. SIGMOD Conference 1987: 467-478
  14. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259
  15. Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268
  16. Kathi Hogshead Davis, Adarsh K. Arora: Converting A Relational Database Model into an Entity-Relationship Model. ER 1987: 271-285
  17. Carlo Batini, Maurizio Lenzerini, Shamkant B. Navathe: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Comput. Surv. 18(4): 323-364(1986)
  18. Serge Abiteboul, Victor Vianu: Deciding Properties of Transactional Schemas. PODS 1986: 235-239
  19. Fred J. Friedman, Arthur M. Keller, John Salasin, Gio Wiederhold, Murray R. Berkowitz, David L. Spooner: Reference Model for Ada Interfaces to Database Management Systems. ICDE 1986: 492-506
  20. Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603(1985)
  21. Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)
  22. Serge Abiteboul, Victor Vianu: Transactions and Integrity Constraints. PODS 1985: 193-204
  23. Maurizio Lenzerini: SERM: Semantic Entity-Relationship Model. ER 1985: 270-278
  24. Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56
  25. Shalom Tsur, Carlo Zaniolo: An Implementation of GEM - Supporting a Semantic Data Model on a Relational Back-End. SIGMOD Conference 1984: 286-295
  26. Peter Lyngbæk, Dennis McLeod: An Approach to Object Sharing in Distributed Datbase Systems. VLDB 1983: 364-375
  27. Mauro Maier, Claudio Cirilli: System/K: A Knowledge Base Management System. SSDBM 1983: 287-294
  28. Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218
  29. Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399
  30. Hirotaka Sakai: A Method for Entity-Relationship Behavior Modeling. ER 1983: 111-129
  31. C. Robert Carlson, Adarsh K. Arora: UPM: A Formal Tool for Expressing Database Update Semantics. ER 1983: 517-525
  32. José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291
  33. Michael L. Brodie: Association: A Database Abstraction for Semantic Modelling. ER 1981: 577-602
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:11 2009