Title: DBMS/QUERY user's guide