Universe

The universe of a table is the collection of the ids of this table. It is used to know if some operations can be performed: if we want to update the cells of one table t1 by the values contained in a table t2, we have to make sure that each id of t2 is also in t1.