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

Teradata Database Design

prodname
Teradata Database
vrm_release
15.00
category
User Guide
featnum
B035-1094-015K

Predicate Calculus and Set Theory Notation Used in This Manual

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