Formal Definition of Relational Algebra

1. A basic expression consists of either
   • A relation in the database.
   • A constant relation.
2. General expressions are formed out of smaller subexpressions using
   • select (p a predicate)
   • project (s a list of attributes)

   • rename (x a relation name)
   • union

   • set difference
   • cartesian product