Equality-generating dependency とは

リレーショナルデータベース理論では、EGD(Equality-Generation Dependency)はある種のデータ制約です。これは、埋め込み依存性(ED)のクラスのサブクラスです。 EDは、∀x1… xn、P(x1、…、xn)→∃z1、…、zk、Q(y1、…、ym)という形式の一次論理の文である。ここで{z1、…、zk} = {y1、…、ym} \ {x1、…、xn}であり、Pはおそらく空であり、Qは空でない等価原子の結合である。 n平等原子は、wi = wjの形式を持ち、ここでw、…、wh、wi、wjのそれぞれは変数または定数です。チェースとして知られているアルゴリズムは、EGDのセット(または、より一般的にはEDのセット)を満たすことができるかどうかを入力として受け取り、それが終了する(先験的に決めることができない)場合、 EGDs。