标签： sql logic three-valued-logic
在任何SQL实现中是否有一个模块检查3值逻辑中公式的可满足性/有效性？ 如果是这样，是否有开源的？ 我的目的是评估这样一个模块（如果存在）在检查3值逻辑中公式的可满足性/有效性的特定任务上的性能，而不是用于一般查询计算。
答案 0 :(得分：0)
您可以使用位向量逻辑来表示问题。例如，QF_BV SMT求解器的z3位向量逻辑。
QF_BV
z3
例如：http://listedfor11o.blogspot.com/2013/03/multi-valued-logic-in-z3.html