Normal view MARC view ISBD view

Sanderson, John G.

A Relational Theory of Computing [electronic resource] / by John G. Sanderson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1980. - VI, 147 p. online resource. - Lecture Notes in Computer Science, 82 0302-9743 ; . - Lecture Notes in Computer Science, 82 .

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.

ISBN: 9783540392569

Standard No.: 10.1007/3-540-09987-5 doi

Subjects--Topical Terms:
Computer science.
Computer software.
Computer Science.
Algorithm Analysis and Problem Complexity.

LC Class. No.: QA76.9.A43

Dewey Class. No.: 005.1