リレーション内のタプルのセットを表すためにBDDを使用するとします。簡単にするために、0または1の値を持つタプルを検討してください。例：R = {<0,0,1>、<1,0,1>、<0,0,0>}は、x、y、zなどの3つの変数を持つBDDの三項関係を表します（1つは各タプルの要素）。私が欲しいのは、Rのようなbddを与え、キューブCが、Cの変数が抽象化されたときに、一意のタプルを含むRのサブセットを返す操作を実装することです。
たとえば、Cに変数x（各タプルの最初の要素を表す）が含まれている場合、関数の結果は{<0,0,0>}である必要があります。xが抽象化されると、タプル<0,0,1>と<1,0,1>が「同じ」になることに注意してください。
ここで、R = {<0,0,1>、<1,0,1>、<0,0,0>、<1,0,0>}であり、xを再度抽象化するとします。この場合、xを抽象化した後、Rに一意のタプルがないため、結果として定数falseが期待されます。
どんな助けでも大歓迎です。