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
Published
July 2021
Language
English (United States)
Last Update
2021-07-27
dita:mapPath
kko1591750222108.ditamap
dita:ditavalPath
kko1591750222108.ditaval

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"