This view definition incorporates an RSE that includes a CROSS
    operation.

    DEFINE VIEW CURRENT_JOB OF JH IN JOB_HISTORY
      CROSS E IN EMPLOYEES OVER EMPLOYEE_ID
         WITH JH.JOB_END MISSING.
          E.LAST_NAME.
          E.FIRST_NAME.
          E.EMPLOYEE_ID.
          JH.JOB_CODE.
          JH.DEPARTMENT_CODE.
          JH.SUPERVISOR_ID.
          JH.JOB_START.
          JH.JOB_END.
    END VIEW.