In relational algebra, a rename is a unary operation written as                     
The result is identical to                     
Formally the semantics of the rename operator is defined as follows:
where                     
In relational algebra, a rename is a unary operation written as                     
The result is identical to                     
Formally the semantics of the rename operator is defined as follows:
where