class
	DATABASE_PROC [G -> DATABASE create default_create end]

General
	cluster: dbms-support
	description: "Implementation of DB_PROC"
	create: make

Ancestors
	HANDLE_SPEC [G -> DATABASE create default_create end]
	HANDLE_USE

Queries
	arguments_name: ARRAY [STRING_8]
	arguments_set: BOOLEAN
	arguments_type: ARRAY [ANY]
	db_spec: DATABASE
	exists: BOOLEAN
	text: STRING_8

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