On Modelling Behavioural Semantics of Databases.

@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

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

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

[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