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