Object-Oriented Specification of Databases: An Algebraic Approach.

@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

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

• 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

• 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

References

[BaBu84]

Don S. Batory, Alejandro P. Buchmann: Molecular Objects, Abstract Data Types, and Data Models: A Framework. VLDB 1984: 172-184 BibTeX

[CCF82]

José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX

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

[EDG86]

Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla: Towards an Algebraic Semantics for Database Specification. DS-2 1986: 119-135 BibTeX

[Ehr86]

...

[ELG84]

Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308 BibTeX

[FiSe86]

José Luiz Fiadeiro, Amílcar Sernadas: The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11(1): 61-85(1986) BibTeX

[LEG85]

...

[Lip86]

Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX

[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) BibTeX

[SeSe85a]

...

[SeSe85b]

...

[SeSe86]

Cristina Sernadas, Amílcar Sernadas: Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. DS-1 1985: 121-140 BibTeX

[StBo84]

...

[SRG83]

...

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