dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

A Relational Data Base Foundation for Process Specification.

Neil M. Goldman, David S. Wile: A Relational Data Base Foundation for Process Specification. ER 1979: 413-432
@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

A language suitable for system specification should allow a specification to be based on a cognitive model of the process being described. In part, such a language can be obtained by properly combining certain conceptual abstractions of entity-relationship data models with reference and control concepts designed for programming languages. Augmenting the resulting language with formal versions of several natural language constructs, such as temporal reference, further decreases the coynitive distance between specifications of large systems and the modelled world.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

References

[1]
Robert Balzer, Neil M. Goldman, David S. Wile: Informality in Program Specifications. IEEE Trans. Software Eng. 4(2): 94-103(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
...
[3]
...
[4]
Daniel G. Bobrow, Bertram Raphael: New Programming Languages for Artificial Intelligence Research. ACM Comput. Surv. 6(3): 153-174(1974) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Daniel G. Bobrow, Terry Winograd: On Overview of KRL, a Knowledge Representation Language. Cognitive Science 1(1): 3-46(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Rod M. Burstall, Joseph A. Goguen: Putting Theories Together to Make Specifications. IJCAI 1977: 1045-1058 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
...
[10]
Michael Hammer, Dennis McLeod: A Framework for Data Base Semantic Integrity. ICSE 1976: 498-504 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
...
[13]
Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
John F. Sowa: Conceptual Graphs for a Data Base Interface. IBM Journal of Research and Development 20(4): 336-357(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Terry Winograd: Beyond Programming Languages. Commun. ACM 22(7): 391-401(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Last update Thu May 24 04:17:02 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page