class
     DB_CHANGE

General
     cluster: eiffelstore.interface
     create: make

Ancestors
     DB_CONSTANT
     DB_EXEC_USE
     DB_EXPRESSION
     DB_STATUS_USE

Queries
     is_connected: BOOLEAN
     is_mapped (key: STRING): BOOLEAN
     is_ok: BOOLEAN
     last_parsed_query: STRING
     last_query: STRING
     mapped_value (key: STRING): ANY

Commands
     clear_all
     execute_query
     modify (request: STRING)
     set_map_name (n: ANY; key: STRING)
     set_query (query: STRING)
     set_trace
     unset_map_name (key: STRING)