The Relational Paradigm
This chapter describes the logic of the Relational Paradigm. This logic consists of a subset of propositional logic and a subset of typed predicate logic. It shows that table definitions in database catalogs have associated statement schemas, and that the rows of those tables are ordered sets of values which instantiate those schemas.
atomic statement; deMorgan’s equivalences; metalanguage; object language; predicate logic; predicate; propositional logic; statement schema; statement; subject; thing; universal quantification; well-formed formula
Logic is a set of rules for deriving true statements from true statements. In one form of logic, these statements are atomic units; they can’t be split apart. ...