began restoring the relational calculus paper