void ChangeDatabase (string database)
{
if (!IsValidDatabaseName (database))
throw new ArgumentException (String.Format ("The database name {0} is not valid.", database));
if (state != ConnectionState.Open)
throw new InvalidOperationException ("The connection is not open.");
tds.Execute (String.Format ("use [{0}]", database));
}