Rdb Relation

An RdbRelation is a set of RdbTuples that all have the same RdbHeading. To be an RdbRelation, the order of the RdbTuples cannot matter, and every RdbTuple must be unique.

RdbRelation <==> table. Is this correct? Am I missing something here?

A relation is not a table. A relation is a value that a table -- or more accurately, a relation variable (RelVar for short) -- can have at a given point in time. An integer variable has a given integer value at a given point in time. Similarly, a relvar has a given relation value at a given point in time. Like this:

 Variable category  Variable type                    Value example
 -----------------  -------------------------------  -------------------------------------------------
 Scalar             Integer                          3
 Scalar             String                           'Dave'
 Relvar             relation {x integer, y integer}  relation {tuple {x 1, y 2}, tuple {x 2, y 3}}

Therefore, the closest translation for "table" is to say relvar <==> table.

---

CategoryRelationalDatabase