    class
    	DB_STORE

    General
    	cluster: interface
    	create: make

    Ancestors
    	DB_EXEC_USE
    	DB_STATUS_USE

    Queries
    	immediate_execution: BOOLEAN
    	is_connected: BOOLEAN
    	is_ok: BOOLEAN
    	is_tracing: BOOLEAN
    	owns_repository: BOOLEAN
    	trace_output: FILE

    Commands
    	force (object: ANY)
    	put (object: ANY)
    	set_immediate
    	set_repository (repository: DB_REPOSITORY)
    	set_trace
    	unset_immediate
    	unset_trace