17.10 - Predicate Calculus and Set Theory Notation Used in This Document - Advanced SQL Engine - Teradata Database

Teradata Vantage™ - Database Design

Product
Advanced SQL Engine
Teradata Database
Release Number
17.10
Release Date
July 2021
Content Type
User Guide
Publication ID
B035-1094-171K
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 document 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"