python-bigquery-dataframes/bigframes/core/compile/sqlglot/expressions/bool_ops.py at 2f848c28b9b466333aab68bd995369f7f2f3df1f · googleapis/python-bigquery-dataframes · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
# Copyright 2025 Google LLC
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

from __future__ import annotations

import bigframes_vendored.sqlglot.expressions as sge

from bigframes import dtypes
from bigframes import operations as ops
from bigframes.core.compile.sqlglot import sql
import bigframes.core.compile.sqlglot.expression_compiler as expression_compiler
from bigframes.core.compile.sqlglot.expressions.typed_expr import TypedExpr

register_binary_op = expression_compiler.expression_compiler.register_binary_op


@register_binary_op(ops.and_op)
def _(left: TypedExpr, right: TypedExpr) -> sge.Expression:
    # For AND, when we encounter a NULL value, we only know when the result is FALSE,
    # otherwise the result is unknown (NULL). See: truth table at
    # https://en.wikibooks.org/wiki/Structured_Query_Language/NULLs_and_the_Three_Valued_Logic#AND,_OR
    if sql.is_null_literal(left.expr):
        condition = sge.EQ(this=right.expr, expression=sge.convert(False))
        return sge.If(this=condition, true=right.expr, false=sge.null())
    if sql.is_null_literal(right.expr):
        condition = sge.EQ(this=left.expr, expression=sge.convert(False))
        return sge.If(this=condition, true=left.expr, false=sge.null())

    if left.dtype == dtypes.BOOL_DTYPE and right.dtype == dtypes.BOOL_DTYPE:
        return sge.And(this=left.expr, expression=right.expr)
    return sge.BitwiseAnd(this=left.expr, expression=right.expr)


@register_binary_op(ops.or_op)
def _(left: TypedExpr, right: TypedExpr) -> sge.Expression:
    # For OR, when we encounter a NULL value, we only know when the result is TRUE,
    # otherwise the result is unknown (NULL). See: truth table at
    # https://en.wikibooks.org/wiki/Structured_Query_Language/NULLs_and_the_Three_Valued_Logic#AND,_OR
    if sql.is_null_literal(left.expr):
        condition = sge.EQ(this=right.expr, expression=sge.convert(True))
        return sge.If(this=condition, true=right.expr, false=sge.null())
    if sql.is_null_literal(right.expr):
        condition = sge.EQ(this=left.expr, expression=sge.convert(True))
        return sge.If(this=condition, true=left.expr, false=sge.null())

    if left.dtype == dtypes.BOOL_DTYPE and right.dtype == dtypes.BOOL_DTYPE:
        return sge.Or(this=left.expr, expression=right.expr)
    return sge.BitwiseOr(this=left.expr, expression=right.expr)


@register_binary_op(ops.xor_op)
def _(left: TypedExpr, right: TypedExpr) -> sge.Expression:
    # For XOR, cast NULL operands to BOOLEAN to ensure the resulting expression
    # maintains the boolean data type.
    left_expr = left.expr
    left_dtype = left.dtype
    if sql.is_null_literal(left_expr):
        left_expr = sge.Cast(this=sge.convert(None), to="BOOLEAN")
        left_dtype = dtypes.BOOL_DTYPE
    right_expr = right.expr
    right_dtype = right.dtype
    if sql.is_null_literal(right_expr):
        right_expr = sge.Cast(this=sge.convert(None), to="BOOLEAN")
        right_dtype = dtypes.BOOL_DTYPE

    if left_dtype == dtypes.BOOL_DTYPE and right_dtype == dtypes.BOOL_DTYPE:
        return sge.Or(
            this=sge.paren(
                sge.And(this=left_expr, expression=sge.Not(this=right_expr))
            ),
            expression=sge.paren(
                sge.And(this=sge.Not(this=left_expr), expression=right_expr)
            ),
        )
    return sge.BitwiseXor(this=left.expr, expression=right.expr)