MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Logic, algebra and databases / Peter M.D. Gray.

By: Gray, Peter M. D.
Material type: materialTypeLabelBookSeries: Computers and their applications: 29.Publisher: Chichester : Horwood, 1984Description: 294 p. : il. ; 25cm + hbk.ISBN: 0853127093 (cased); 0853128030 (v) (pbk) ; 0470201037 (v) (U.S.).Subject(s): Database management | Logic, Symbolic and mathematicalDDC classification: 001.6442
Contents:
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.
Holdings
Item type Current library Call number Copy number Status Barcode
General lending MTU Bishopstown Library Lending 001.6442 (Browse shelf(Opens below)) 1 Available 00027849
Total holds: 0

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.