Relational Theory of Computing, A
Computer software Algorithm Analysis and Problem Complexity
Imprint: Springer
1980
1st ed. 1980.
EISBN 3540392564
The components of a relational calculus.
A comparison of some relational calculi.
Properties of relators.
The extension of a calculus.
Types and structures.
Programs.
Assignment and efficiency.
Metatheory.
Conclusions.
A comparison of some relational calculi.
Properties of relators.
The extension of a calculus.
Types and structures.
Programs.
Assignment and efficiency.
Metatheory.
Conclusions.
