if x->a and y-> b
then
from x->a == xy-->ay [ir2] xy-->a [ir4]
from y->b == xy-->xb [ir2] xy-->b [ir4]
therefore xy-->ab [ir5]
しかし、elmasri navathe は、x-->a と y-->b は xy-->ab を暗示していないと言います。
if x->a and y-> b
then
from x->a == xy-->ay [ir2] xy-->a [ir4]
from y->b == xy-->xb [ir2] xy-->b [ir4]
therefore xy-->ab [ir5]
しかし、elmasri navathe は、x-->a と y-->b は xy-->ab を暗示していないと言います。
CJ DATEをチェックしたところ、339ページの第11章に、構成と呼ばれるルールがリストされています。a-> b、c-> d、ac-> bdの場合、クエリの一部に答えますが、なぜそれが必要なのか興味がありますそれ以外の場合はnavatheで言います。
機能の依存関係に関する私の知識は完全ではありませんが、あなたの考えに間違いはありません。
テキストの抜粋を提供していただけますか?
あなたがオンラインで参照していると思われる本のコピーを見つけました: http://cecfoces.files.wordpress.com/2010/09/elmasri-navathe-fundamentals-of-database-systems-3rd-ed1.pdf
x-->a と y-->b は xy-->ab を意味しないと彼らが言っている場所を教えてください。