Object-Oriented Specification of Databases: An Algebraic Approach.

Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116
  author    = {Am\'{\i}lcar Sernadas and
               Cristina Sernadas and
               Hans-Dieter Ehrich},
  editor    = {Peter M. Stocker and
               William Kent and
               Peter Hammersley},
  title     = {Object-Oriented Specification of Databases: An Algebraic Approach},
  booktitle = {VLDB'87, Proceedings of 13th International Conference on Very
               Large Data Bases, September 1-4, 1987, Brighton, England},
  publisher = {Morgan Kaufmann},
  year      = {1987},
  isbn      = {0-934613-46-X},
  pages     = {107-116},
  ee        = {db/conf/vldb/SernadasSE87.html},
  crossref  = {DBLP:conf/vldb/87},
  bibsource = {DBLP,}


The importance of abstract object types (AOTs) in the field of conceptual modeling and database design is discussed. A formal approach to the specification of societies of interacting objects is proposed. The structure and behavior of each object is defined using a primitive language that also provides the means for specifying the interactions between objects through event sharing. The algebraic semantics of this language is outlined. As a by-product, the Kripke interpretation structure for the envisaged logic of object behavior is established. The specifications are organized in two layers: (a) the universe of objects, their attributes and data; (b) the space of the global trajectories and traces of the society of objects. Constraints of several kinds can be imposed at both layers. The main issue in the construction of the universe is the naming of all possible objects. With respect to (b), the emphasis is on the definition of the joint behavior of the objects in terms of the allowed sequences of events that may happen in their lives.

Copyright © 1987 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

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

Peter M. Stocker, William Kent, Peter Hammersley (Eds.): VLDB'87, Proceedings of 13th International Conference on Very Large Data Bases, September 1-4, 1987, Brighton, England. Morgan Kaufmann 1987, ISBN 0-934613-46-X
Contents BibTeX


Don S. Batory, Alejandro P. Buchmann: Molecular Objects, Abstract Data Types, and Data Models: A Framework. VLDB 1984: 172-184 BibTeX
José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX
Klaus R. Dittrich, Umeshwar Dayal (Eds.): 1986 International Workshop on Object-Oriented Database Systems, September 23-26, 1986, Asilomar Conference Center, Pacific Grove, California, USA, Proceedings. IEEE Computer Society 1986, ISBN 0-8186-0734-3
Contents BibTeX
Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla: Towards an Algebraic Semantics for Database Specification. DS-2 1986: 119-135 BibTeX
Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308 BibTeX
José Luiz Fiadeiro, Amílcar Sernadas: The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11(1): 61-85(1986) BibTeX
Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX
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
Cristina Sernadas, Amílcar Sernadas: Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. DS-1 1985: 121-140 BibTeX

Referenced by

  1. Oscar Pastor, José Hilario Canós Cerdá, Isidro Ramos: From CASE to CARE (Computer-Aided Requirements Engineering). ER 1999: 278-292
  2. Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich: The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. ER 1998: 277-290
  3. Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis: A Development Environment for an Object Specification Language. IEEE Trans. Knowl. Data Eng. 7(3): 505-508(1995)
  4. Maguelonne Teisseire: Behavioural Constraints Using Events. OOER 1995: 123-132
  5. Gunter Saake, Stefan Conrad, Can Türker: From Object Specification towards Agent Design. OOER 1995: 329-340
  6. Xue-Miao Lu, Tharam S. Dillon: An Algebraic Theory of Object-Oriented Systems. IEEE Trans. Knowl. Data Eng. 6(3): 412-419(1994)
  7. Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti: Towards Event-Driven Modelling for Database Design. VLDB 1994: 285-296
  8. Peter Hartel, Ralf Jungclaus: Specifying Business Processes over Objects. ER 1994: 10-27
  9. Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389
  10. Catriel Beeri, Tova Milo: Functional and Predicative Programming in OODB's. PODS 1992: 176-190
  11. Martin Gogolla, Uwe Hohenstein: Towards a Semantic View of an Extended Entity-Relationship Model. ACM Trans. Database Syst. 16(3): 369-416(1991)
  12. Catriel Beeri, Tova Milo: Subtyping in OODB's. PODS 1991: 300-314
  13. Gunter Saake, Ralf Jungclaus, Cristina Sernadas: Abstract Data Type Semantics for Many-Sorted Object Query Algebras. MFDBS 1991: 291-307
  14. Ralf Jungclaus, Gunter Saake, Thorsten Hartmann: Language Features for Object-Oriented Conceptual Modelling. ER 1991: 309-324
  15. Uwe Hohenstein, Klaus Hülsmann: A Language for Specifying Static and Dynamic Integrity Constraints. ER 1991: 389-416
  16. Manfred A. Jeusfeld, Michael Mertikas, Ingrid Wetzel, Matthias Jarke, Joachim W. Schmidt: Database Application Development as an Object Modeling Activity. VLDB 1990: 442-454
  17. Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
  18. Uwe Hohenstein: Automatic Transformation of an Entity-Relationship Query Language into SQL. ER 1989: 303-321
  19. Ferdi Put: The ER Approach Extended with the Action Concept as a Conceptual Modelling Tool. ER 1988: 423-440
  20. Uwe Hohenstein, Martin Gogolla: A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions. ER 1988: 129-148
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:34 2009