Wadge, William W. (1975) A complete natural deduction system for the relational calculus. Coventry, UK: University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Preview

Text WRAP_Wadge_cs-rr-005.pdf - Published Version Download (841Kb) | Preview

Request Changes to record.

Abstract

A relational calculus is a formal system in which relation is the fundamental concept. The simplest relational calcu1us, that of ordinary binary relations, was introduced by Tarski in [4]. Tarski's system is essentially an algebra in which the operations are the usual Boolean operations (on sets of ordered pairs) together with the two special operations converse (denoted by u) and composition (denoted by ";" or by juxtaposition).

Item Type:	Report
Subjects:	Q Science > QA Mathematics
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Relational calculus
Series Name:	Theory of Computation Report
Publisher:	University of Warwick. Department of Computer Science
Place of Publication:	Coventry, UK
Official Date:	1975
Dates:	Date Event 1975 Available
Number:	5
Number of Pages:	13
DOI:	CS-RR-005
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Access rights to Published version:	Open Access (Creative Commons)
Date of first compliant deposit:	25 June 2019
Date of first compliant Open Access:	25 June 2019
Funder:	Science Research Council (Great Britain) (SRC)

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads