Logic, algebra and databases / Peter M.D. Gray.
By: Gray, Peter M. D.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Lending | 001.6442 (Browse shelf(Opens below)) | 1 | Available | 00027849 |
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.