A Relational Data Base Foundation for Process Specification.

@inproceedings{DBLP:conf/er/GoldmannW79,
  author    = {Neil M. Goldman and
               David S. Wile},
  editor    = {Peter P. Chen},
  title     = {A Relational Data Base Foundation for Process Specification},
  booktitle = {Entity-Relationship Approach to Systems Analysis and Design.
                Proc. 1st International Conference on the Entity-Relationship
               Approach},
  publisher = {North-Holland},
  year      = {1979},
  isbn      = {0-444-85487-8},
  pages     = {413-432},
  ee        = {db/conf/er/GoldmannW79.html},
  crossref  = {DBLP:conf/er/79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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/An2-1 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

References

[1]

Robert Balzer, Neil M. Goldman, David S. Wile: Informality in Program Specifications. IEEE Trans. Software Eng. 4(2): 94-103(1978) BibTeX

[2]

...

[3]

...

[4]

Daniel G. Bobrow, Bertram Raphael: New Programming Languages for Artificial Intelligence Research. ACM Comput. Surv. 6(3): 153-174(1974) BibTeX

[5]

Daniel G. Bobrow, Terry Winograd: On Overview of KRL, a Knowledge Representation Language. Cognitive Science 1(1): 3-46(1977) BibTeX

[6]

Rod M. Burstall, Joseph A. Goguen: Putting Theories Together to Make Specifications. IJCAI 1977: 1045-1058 BibTeX

[7]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX

[8]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[9]

...

[10]

Michael Hammer, Dennis McLeod: A Framework for Data Base Semantic Integrity. ICSE 1976: 498-504 BibTeX

[11]

Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36 BibTeX

[12]

...

[13]

Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576(1977) BibTeX

[14]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[15]

John F. Sowa: Conceptual Graphs for a Data Base Interface. IBM Journal of Research and Development 20(4): 336-357(1976) BibTeX

[16]

Terry Winograd: Beyond Programming Languages. Commun. ACM 22(7): 391-401(1979) BibTeX

[17]

William A. Wulf, Ralph L. London, Mary Shaw: An Introduction to the Construction and Verification of Alphard Programs. IEEE Trans. Software Eng. 2(4): 253-265(1976) BibTeX

Referenced by

1. Richard P. Brägger, Andreas Dudler, Jürg Rebsamen, Carl August Zehnder: Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints and Transactions. ICDE 1984: 399-407
2. Juhani Iivari, Erkki Koskela: An Extended EAR Approach for Information System Specification. ER 1983: 605-636
3. John Mylopoulos, Harry K. T. Wong: Some Features of the TAXIS Data Model. VLDB 1980: 399-410
4. Peter P. Chen: Recent Literature on the Entity-Relationship Approach. ER 1979: 3-12
5. Robert Balzer: An Implementation Methodology for Semantic Data Base Models. ER 1979: 433-444