An introduction to the relational calculus