Logic, algebra and databases /
Gray, Peter M. D.
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.
0853127093 (cased) 0853128030 (v) (pbk) 0470201037 (v) (U.S.)
84012854
Database management
Logic, Symbolic and mathematical.
001.6442
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.
0853127093 (cased) 0853128030 (v) (pbk) 0470201037 (v) (U.S.)
84012854
Database management
Logic, Symbolic and mathematical.
001.6442