4.7 port: convert database overview according to new forms api

I have tryed to convert the database overview according to the new forms api: it ssems to work now, but some more testing needed.
May be the forms api is not the best choise for impelemting such complex dynamic forms:

function dba_database_overview() {
  $rows = array();
  $database = dba_get_database();
  drupal_set_title(t('View database \'%database\'', array('%database' => "$database")));

  // it'd be great to use the pager and tablesort, but doesn't appear possible
  $header = array('', t('tables'), t('rows'), t('actions'));
  $tables = dba_get_tables();
    $form['table_options'] = array(
	'#type' => 'fieldset',
	'#title' => t('Database Tables'),
	'#collapsible' => FALSE,
	'#collapsed' => FALSE
	);
  foreach ($tables as $table) {
    $action = NULL;
    $count = dba_get_row_count($table);
    $action = '['. l(t('view'), "admin/database/table/$table/view", array('title' => t('View all rows of table \'%table\'', array('%table' => "$table")))) .']';
    $action .= ' ['. l(t('describe'), "admin/database/table/$table/describe", array('title' => t('Describe table \'%table\'', array('%table' => "$table")))) .']';
    $action .= _is_mysql() ? ' ['. l(t('check'), "admin/database/table/$table/check", array('title' => t('Check integrity of table \'%table\'', array('%table' => "$table")))) .']' : '';
    if (user_access('dba administer database')) {
      $action .= ' ['. l(t('backup'), "admin/database/table/$table/backup", array('title' => t('Backup all data from table \'%table\' to file', array('%table' => "$table")))) .']';
      $action .= ' ['. l(t('empty'), "admin/database/table/$table/empty", array('title' => t('Delete all rows from table \'%table\'', array('%table' => "$table")))) .']';
      $action .= ' ['. l(t('drop'), "admin/database/table/$table/drop", array('title' => t('Drop table \'%table\'', array('%table' => "$table")))) .']';
    //$checkbox = form_checkbox('', $table, 1, $edit['$table']);
    }
    //$rows[] = array($checkbox, $table, $count, $action);
    $form['table_options'][$table] = array(
	'#type' => 'checkbox',
	'#title' => '',
	'#default_value' => 0,
	'#description' => $table . ', ' . $count . ' rows. ' . $action
	);
  }

  //$output .= theme('table', $header, $rows);
  //$output .= _is_mysql() ? form_submit(t('Check')) : '';
  if ( _is_mysql() ) {
    $form['table_options']['Check'] = array(
	'#type' => 'submit',
	'#value' => 'Check'
	);
    }
  if (user_access('dba administer database')) {
    //$output .= form_submit(t('Backup'));
    //$output .= form_submit(t('Empty'));
    //$output .= form_submit(t('Drop'));
    $form['table_options']['Backup'] = array(
	'#type' => 'submit',
	'#value' => 'Backup'
	);
    $form['table_options']['Empty'] = array(
	'#type' => 'submit',
	'#value' => 'Empty'
	);
    $form['table_options']['Drop'] = array(
	'#type' => 'submit',
	'#value' => 'Drop'
	);
  }

  $output= drupal_get_form('admin/database', $form);
  return $output;
}