class
	DB_SELECTION

General
	cluster: interface
	create: make

Ancestors
	DB_CONSTANT
	DB_EXEC_USE
	DB_EXPRESSION*
	DB_STATUS_USE
	EXT_INTERNAL

Queries
	after: BOOLEAN
	container: LIST [DB_RESULT]
	cursor: DB_RESULT
	ht: HASH_TABLE [ANY, STRING_8]
	ht_order: ARRAYED_LIST [STRING_8]
	immediate_execution: BOOLEAN
	is_allocatable: BOOLEAN
	is_connected: BOOLEAN
	is_exiting: BOOLEAN
	is_mapped (key: STRING_8): BOOLEAN
	is_ok: BOOLEAN
	is_tracing: BOOLEAN
	last_parsed_query: STRING_8
	last_query: STRING_8
	mapped_value (key: STRING_8): ANY
	object: ANY
	stop_condition: ACTION
	trace_output: FILE

Commands
	clear_all
	cursor_to_object
	execute_query
	forth
	load_result
	make
	next
	no_object_convert
	object_convert (ref: ANY)
	query (s: STRING_8)
	reset_cursor (c: DB_RESULT)
	set_action (action: ACTION)
	set_container (one_container: [like container] LIST [DB_RESULT])
	set_immediate
	set_map_name (n: ANY; key: STRING_8)
	set_query (query: STRING_8)
	set_trace
	start
	terminate
	unset_action
	unset_container
	unset_immediate
	unset_map_name (key: STRING_8)
	unset_trace
	wipe_out