    class
    	DATABASE_CONTROL [G -> DATABASE create default_create end]

    General
    	cluster: dbms-support
    	description: "Implementation of DB_CONTROL"

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

    Queries
    	db_spec: DATABASE
    	is_connected: BOOLEAN
    	transaction_count: INTEGER_32

    Commands
    	begin
    	commit
    	connect
    	disconnect
    	rollback