Lemma 7.3 Let w be a nested relation instance over the scheme Q, let X, ... Z) satisfies the mvd X → Z. Proof We leave this proof to the reader.
確定! 回上一頁