Logic, algebra and databases /
Peter M.D. Gray.
- Chichester : Horwood, 1984.
- 294 p. : il. ; 25cm + hbk.
- Ellis Horwood series in computers and their applications ; 29 .
- Computers and their applications ; 29. .
Includes bibliographical references (pages 282-288) and index.
The Propositional Calculus -- The Predicate Calculus -- Lambda Expressions and List Processing -- Representing Programs by Clauses: Prolog -- Representing Programs in Functional Notation -- The relational model -- Calculus-based languages -- Relational Algebra: an Applicative language -- Query transformation in Algebra and Calculus -- The Functional Data Model -- The CODASYL DBTG Database -- Functional Query languages for CODASYL databases.