Bitemporal Data

Chapter 4

The Relational Paradigm

Logic

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.

Keywords

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. ...