ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Algebraic Specification Schemes for Data Base Systems.

Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440
@inproceedings{DBLP:conf/vldb/EhrigKW78,
  author    = {Hartmut Ehrig and
               Hans-J{\"o}rg Kreowski and
               Herbert Weber},
  editor    = {S. Bing Yao},
  title     = {Algebraic Specification Schemes for Data Base Systems},
  booktitle = {Fourth International Conference on Very Large Data Bases, September
               13-15, 1978, West Berlin, Germany},
  publisher = {IEEE Computer Society},
  year      = {1978},
  pages     = {427-440},
  ee        = {db/conf/vldb/EhrigKW78.html},
  crossref  = {DBLP:conf/vldb/78},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

We propose a hierarchic structuring principle for the formal specification of data base systems, called an algebraic specification scheme, which is based on algebraic specification techniques for data types. Syntax and semantics of an algebraic specification scheme are formally defined and illustrated by a nontrivial example, the specification of a data base system for an airportschedule. The construction of the schema is based on tuple- and table-connections of the components showing a close relationship to the relational data base model. Algebraic specification schemes allow the definition of integrity constraints like functional and interrelational dependencies. The mathematical precise formulation allows rigorous correctness proofs for their syntax and semantics. First results are given and applied to the airportschedule example.

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


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

S. Bing Yao (Ed.): Fourth International Conference on Very Large Data Bases, September 13-15, 1978, West Berlin, Germany. IEEE Computer Society 1978
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[BG 77]
...
[Cod 70]
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
[DDH 72]
...
[EKP 78]
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Stepwise Specification and Implementation of Abstract Data Types. ICALP 1978: 205-226 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GTW 76]
...
[Gut 76]
John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lis 76]
...
[Mil 76]
Harlan D. Mills: The New Math of Computer Programming. Commun. ACM 18(1): 43-48(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[PP 77]
Paolo Paolini, Giuseppe Pelagatti: Formal Definition of Mappings in a Data Base. SIGMOD Conference 1977: 40-46 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[TW 78]
James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques. STOC 1978: 119-132 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Web 76]
...
[Web 78]
Herbert Weber: A Software Engineering View of Data Base Systems. VLDB 1978: 36-51 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Zil 74]
...

Copyright © Tue Mar 16 02:21:55 2010 by Michael Ley (ley@uni-trier.de)