16.10 - Predicate Calculus and Set Theory Notation Used in This Manual - Teradata Database

Teradata Database Design

Product
Teradata Database
Release Number
16.10
Release Date
June 2017
Content Type
User Guide
Publication ID
B035-1094-161K
Language
English (United States)

Relational databases are based on the theory of relations as developed in set theory. Predicate calculus is often the most unambiguous way to express certain relational concepts.

Occasionally this manual uses the following predicate calculus and set theory notation to explain concepts.

This symbol … Represents this phrase …
Predicate Calculus Notation
iff If and only if
For all
There exists
Set Theory Notation

Empty set
Union
Intersection

Infinitely large set

Pronounced aleph