. . . . "The relational calculus, like any calculus, deals with a high-level description or specification of a desired result, without naming any operations, procedures, or other method for obtaining the result." .