    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)