Term

relational model

Definition

introduced by E. F. Codd in 1970, is based on predicate logic and set theory.

Term

Predicate logic

Definition

s used extensively in mathematics to provide a framework in which an assertion (statement of fact) can be verified as either true or false.

Term

Set theory

Definition

is a part of mathematical science that deals with sets, or groups of things, and is used as the basis for data manipulation in the relational model.