今天写SQL的时候有个逻辑是要取2个时间窗口有交集的数据，过滤条件如下：
2个时间窗大小 [start_time1, end_time1] 和 [start_time2, end_time2]
where
not (
end_time1 < start_time2
or
end_time2 < start_time1
)
我用的是取反的逻辑来处理的。
然后我看了下生成的执行计划上述的条件优化成了如下：
where
end_time1 >= start_time2
and
end_time2 >= start_time1
上述的优化其实是用了德摩根律得到的：
即： ：
end_time1 < start_time2，则 ：
end_time1 >= start_time2，也同理。
