class
	DB_PROC

General
	cluster: interface
	create: make

Ancestors
	DB_EXEC_USE
	DB_STATUS_USE

Queries
	arguments_name: ARRAY [STRING_8]
	arguments_set: BOOLEAN
	arguments_type: ARRAY [ANY]
	exists: BOOLEAN
	immediate_execution: BOOLEAN
	is_connected: BOOLEAN
	is_ok: BOOLEAN
	is_tracing: BOOLEAN
	loaded: BOOLEAN
	name: STRING_8
	text: STRING_8
	trace_output: FILE

Commands
	change_name (new_name: STRING_8)
	drop
	execute (destination: DB_EXPRESSION)
	execute_string (destination: DB_EXPRESSION; sql: STRING_8)
	load
	make (a_name: STRING_8)
	set_arguments (args_name: [like arguments_name] ARRAY [STRING_8]; args_type: [like arguments_type] ARRAY [ANY])
	set_immediate
	set_no_arguments
	set_trace
	store (sql: STRING_8)
	unset_immediate
	unset_trace

Constraints
	implementation not void
	load and exists