Abstract data types and the development of data structures
Communications of the ACM
The new math of computer programming
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Formal definition of mappings in a data base
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Stepwise Specification and Implementation of Abstract Data Types
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Relational database: a practical foundation for productivity
ACM Turing award lectures
Design diversity: an approach to fault tolerance of design faults
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Hi-index | 0.01 |
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.