データベースの任意のスキーマと、このデータベースに関する任意の 2 つのクエリを指定して、2 つのクエリの結果セットが異なる原因となる最小のインスタンスを見つけようとします。
2 つのクエリの違いを見つける方法、つまり、各クエリの結果をサブテーブルとして扱い、2 つのテーブルを比較して同じかどうかを確認する方法しか思いつきません。それでも、これが機能するかどうかはわかりません
最小のインスタンスを見つける方法がわからないのですが、ヒントやインスピレーションを教えてもらえますか? 2 つのクエリまたはデータベースのスキーマからの情報を使用してインスタンスの構築を開始する必要がありますか?それとも間違った方向に向かっているのでしょうか? どうもありがとう!
update1: データベース インスタンスは、データベースの各テーブルがその属性に特定の値を持つシナリオです。
例えば、
スキーマ:
table A: attr1 attr2... table B: attr1 attr2 attr3 ...
データベースのどのシナリオで、2 つの任意のクエリが異なる結果を返すかを調べる必要がありますか?