Rezoom.SQL:静态地对公共SQL方言进行类型检查并将其转换为各种RDBMS后端