Back to Search Start Over

Combining relational calculus and the Dijkstra-Gries method for deriving relational programs.

Authors :
Berghammer, Rudolf
Source :
Information Sciences. Oct99, Vol. 119 Issue 3/4, p156. 17p.
Publication Year :
1999

Abstract

Shows how to derive imperative programs for relation-based discrete structures by combining relational calculus and Dijkstra-Gries method. Description of algorithms; Concepts of relational calculus; Illustration of the Dijkstra-Gries method.

Subjects

Subjects :
*RELATION algebras
*MATHEMATICAL models
*ALGORITHMS

Details

Language :
English
ISSN :
00200255
Volume :
119
Issue :
3/4
Database :
Academic Search Index
Journal :
Information Sciences
Publication Type :
Periodical
Accession number :
2664747
Full Text :
https://doi.org/10.1016/S0020-0255(99)00012-2
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details