Реализация трехзначной логики SQL

Question

Есть ли модуль в любой реализации SQL, который проверяет выполнимость / достоверность формулы в 3-значной логике? Если да, то есть ли открытый? Моя цель - оценить производительность такого модуля (если он существует) для конкретной задачи проверки выполнимости / достоверности формул в 3-значной логике, а не для общих вычислений запросов.

Answer 1

Вы можете представить проблему, используя битовую векторную логику. Например, логика битового вектора QF_BV решателя SMT z3.

В качестве примера: http://listedfor11o.blogspot.com/2013/03/multi-valued-logic-in-z3.html