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