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)