Operation-oriented query language approach for recursive queries—part 1. Functional definition