Rezoom.SQL: 静态类型检查常见的SQL方言,并将其转换为各种RDBMS后端