"relational calculus" Deutsche bedeutung