Implementing facilities for querying and updating Minirel databases