一个包含多层嵌套子查询的SELECT语句，子查询中存在多余的投影列，这些列在外层查询中没有被使用。

一个包含多层嵌套子查询的SELECT语句，其中外部的WHERE子句条件可以下推到最内层的子查询中。

一个包含多层嵌套子查询的SELECT语句，子查询中存在多余的投影列，同时内层子查询有ORDER BY和LIMIT，但最外层查询仍可进行投影下推。

一个包含关联子查询的SELECT语句，子查询可以被折叠。

一个简单的SELECT语句，其中WHERE子句对字段使用了函数，导致隐式转换。

一个包含COUNT标量子查询的SELECT语句，可以将其改写为IN子查询。

一个包含HAVING子句的SELECT语句，其中HAVING条件不依赖聚合函数，可以下推到WHERE子句。

一个包含多层嵌套子查询的SELECT语句，最内层的GROUP BY子句是不必要的，可以被消除。

一个包含非关联子查询的SELECT语句，可以将子查询转换为关联子查询。

一个包含模拟ROW_NUMBER()窗口函数和过滤条件的SELECT语句，可以推导为TopN算子。

一个包含UNION的SELECT语句，其中WHERE子句包含LIKE前缀匹配，可以改写为范围查询。

一个包含UNION的SELECT语句，外部查询包含LIMIT子句，可以下推到UNION的各个分支中。

一个包含IN子查询的SELECT语句，但子查询的结果行数不保证小于等于1，因此不能转换为标量子查询。

一个包含多层嵌套子查询的JOIN语句，其中外部的WHERE子句条件可以下推到最内层的子查询中，同时存在可以投影下推的冗余列和可以进行LIKE前缀优化的条件。

一个包含COUNT标量子查询的SELECT语句，可以将其改写为IN子查询以利用SEMI JOIN特性。

一个包含多个ROW_NUMBER()窗口函数和过滤条件的SELECT语句

一个包含IN子查询的SELECT语句，子查询明确只返回一行，因此可以转换为标量子查询。

一个包含嵌套子查询的COUNT语句，其中外部的WHERE子句条件可以下推到内层的子查询中，并且子查询中存在可以投影下推的冗余列。

一个简单的LEFT JOIN查询，明确引用了主表中的列，可能存在可消除的外连接。

一个包含LEFT JOIN的SELECT语句，连接条件为不等值连接，难以进行外连接消除。

一个包含LEFT JOIN的SELECT语句，连接条件为不等值连接，难以进行外连接消除，且使用了表别名。

一个包含INNER JOIN和DISTINCT的SELECT语句，可能存在不必要的DISTINCT，且包含排序操作。

一个简单的LEFT JOIN查询，可能存在可消除的外连接，且未引用被连接表中的任何列。

一个包含多层嵌套子查询的SELECT语句，子查询中存在多余的投影列，这些列在外层查询中没有被使用。预期优化：投影下推（rule0001.md）。

一个包含多层嵌套子查询的SELECT语句，其中外部的WHERE子句条件可以下推到最内层的子查询中。预期优化：谓词下推（rule0002.md）。

一个包含多层嵌套子查询的SELECT语句，子查询中存在多余的投影列，同时内层子查询有ORDER BY和LIMIT，但最外层查询仍可进行投影下推。预期优化：投影下推（rule0001.md）。

一个包含关联子查询的SELECT语句，子查询可以被折叠。预期优化：子查询折叠（rule0005.md）。

一个简单的SELECT语句，其中WHERE子句对字段使用了函数，导致隐式转换。预期优化：隐式转换（rule0006.md）。

一个包含COUNT标量子查询的SELECT语句，可以将其改写为IN子查询。预期优化：COUNT 标量子查询优化（rule0007.md）。

一个包含HAVING子句的SELECT语句，其中HAVING条件不依赖聚合函数，可以下推到WHERE子句。预期优化：HAVING 条件下推（rule0008.md）。

一个包含多层嵌套子查询的SELECT语句，最内层的GROUP BY子句是不必要的，可以被消除。预期优化：GROUP BY 子句消除（rule0009.md）。

一个包含非关联子查询的SELECT语句，可以将子查询转换为关联子查询。预期优化：非关联子查询优化（rule0010.md）。

一个包含模拟ROW_NUMBER()窗口函数和过滤条件的SELECT语句，可以推导为TopN算子。预期优化：窗口函数推导TopN（rule0011.md）。

一个包含UNION的SELECT语句，其中WHERE子句包含LIKE前缀匹配，可以改写为范围查询。预期优化：LIKE前缀查询优化（rule0012.md）。

一个包含UNION的SELECT语句，外部查询包含LIMIT子句，可以下推到UNION的各个分支中。预期优化：LIMIT下推至UNION分支（rule0013.md）。

一个包含IN子查询的SELECT语句，但子查询的结果行数不保证小于等于1，因此不能转换为标量子查询。预期优化：不适用（该优化规则要求子查询返回结果的行数必须小于等于1）。

Claude Sonnet 4 hybrid reasoning model with superior intelligence for high-volume use cases, and 200K context window.

Type	Chat(Thinking)	Organization	Anthropic	Release Date	2025-05-14
Website	https://www.anthropic.com/claude/sonnet

Indicator Name	Indicator Weight	Evaluation Type	Passed Cases	Failed Cases	Pass Rate
Logical Equivalence	3	hybrid	11	2	85%
Optimization Depth	4	subjective	16	13	55%
Syntax Error Detection	2	hybrid	12	1	92%

Claude Sonnet 4

Ability Scores