A mostly incomplete but working Relational Algebra.