An Approach to Computation Specification for an Entity-Relationship Query Language