3値ロジックで式の充足可能性/有効性をチェックするSQL実装のモジュールはありますか? もしそうなら、オープンソースのものはありますか? 私の目的は、一般的なクエリ計算ではなく、3 値ロジックで式の充足可能性/有効性をチェックする特定のタスクで、そのようなモジュール (存在する場合) のパフォーマンスを評価することです。
3値ロジックで式の充足可能性/有効性をチェックするSQL実装のモジュールはありますか? もしそうなら、オープンソースのものはありますか? 私の目的は、一般的なクエリ計算ではなく、3 値ロジックで式の充足可能性/有効性をチェックする特定のタスクで、そのようなモジュール (存在する場合) のパフォーマンスを評価することです。