The Relational Algebra