I don't think we need it. The indexes are created from the sql file, so defining db_index here wouldn't provide any benefits I guess.