简化SQL WHERE从句的BNF编写：condition规则的正确定义方式

如果你当前的condition语法结构与from_expression完全一致，仅语义层面要求求值结果为布尔类型，直接在BNF中引用现有规则即可。BNF仅负责描述语法结构，语义层面的类型校验属于语法解析后类型检查阶段的工作，不需要写入语法规则。

完整BNF示例 #

SELECT
    from_expression [, from_expression] ...
FROM
    from_source
WHERE
    condition


from_source:
    table_name

from_expression:
    literal              # 示例：'abc', 1
    column               # 示例：Table.Field1, Table.Profit
    function             # 示例：ABS(...)
    operator invocation  # 示例：NOT field1, 2+3, Genres[0], Genres[1:2], Address.name

condition:
    from_expression  # 语义约束：该表达式求值结果需为布尔类型

可选扩展（语法层限定布尔表达式） #

如果你需要在语法层面就限制WHERE从句只能使用布尔类表达式，可以单独拆分规则，比如单独定义布尔运算符、布尔字面量、返回布尔值的函数等，但如果你的SQL设计支持任意表达式隐式转换为布尔值（比如非0数值、非空字符串视为真），不需要做这个拆分。

内容的提问来源于stack exchange，提问作者David542