A Relational Theory of Computing

John G. Sanderson (auth.)3540099875, 9783540099871

Table of contents :
Introduction….Pages 1-6
The components of a relational calculus….Pages 7-22
A comparison of some relational calculi….Pages 23-34
Properties of relators….Pages 35-56
The extension of a calculus….Pages 57-71
Types and structures….Pages 72-88
Programs….Pages 89-107
Assignment and efficiency….Pages 108-123
Metatheory….Pages 124-134
Conclusions….Pages 135-138