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.

ACM SIGMOD Anthology

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

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

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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

S. Bing Yao (Ed.): Fourth International Conference on Very Large Data Bases, September 13-15, 1978, West Berlin, Germany. IEEE Computer Society 1978
Contents

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)
[DDH 72]: ...
[EKP 78]: Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Stepwise Specification and Implementation of Abstract Data Types. ICALP 1978: 205-226
[GTW 76]: ...
[Gut 76]: John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404(1977)
[Lis 76]: ...
[Mil 76]: Harlan D. Mills: The New Math of Computer Programming. Commun. ACM 18(1): 43-48(1975)
[PP 77]: Paolo Paolini, Giuseppe Pelagatti: Formal Definition of Mappings in a Data Base. SIGMOD Conference 1977: 40-46
[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
[Web 76]: ...
[Web 78]: Herbert Weber: A Software Engineering View of Data Base Systems. VLDB 1978: 36-51
[Zil 74]: ...