mutable db = SQL_db.create_empty ()