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

@inproceedings{DBLP:conf/vldb/SernadasSE87,
  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, http://dblp.uni-trier.de}
}

Abstract

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

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

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

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

References

[BaBu84]: Don S. Batory, Alejandro P. Buchmann: Molecular Objects, Abstract Data Types, and Data Models: A Framework. VLDB 1984: 172-184
[CCF82]: José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291
[Che86]: ...
[DaSm86]: ...
[DD86]: 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
[EDG86]: Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla: Towards an Algebraic Semantics for Database Specification. DS-2 1986: 119-135
[Ehr86]: ...
[ELG84]: Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308
[FiSe86]: José Luiz Fiadeiro, Amílcar Sernadas: The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11(1): 61-85(1986)
[LEG85]: ...
[Lip86]: Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397
[MBW80]: 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)
[SeSe85a]: ...
[SeSe85b]: ...
[SeSe86]: Cristina Sernadas, Amílcar Sernadas: Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. DS-1 1985: 121-140
[StBo84]: ...
[SRG83]: ...