Функциональная зависимость

        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 Я только начинаю с функциональной зависимости, так что может ли кто-нибудь указать, что мне не хватает?


person idexi    schedule 17.11.2012    source источник
comment
Как это связано с программированием?   -  person Jim Garrison    schedule 18.11.2012
comment
@jim, я просто хотел, чтобы он выглядел чистым, есть ли у меня теги, относящиеся к программированию?   -  person idexi    schedule 18.11.2012
comment
6-е изд. имеет X → A и Y → B означает, что XY → AB. (Слово не было исключено из 6-го издания.) У меня нет опечаток для какого-либо издания, но я бы сначала поискал именно там. Вы также можете отправить электронное письмо авторам напрямую. Их не должно быть трудно найти.   -  person Mike Sherrill 'Cat Recall'    schedule 18.11.2012


Ответы (2)


Хотя мои знания о функциональных зависимостях далеко не полны, я не вижу никаких ошибок в ваших рассуждениях.

Не могли бы вы предоставить отрывок из текста?

Я нашел копию книги, которую, я думаю, вы имеете в виду в Интернете: http://cecfoces.files.wordpress.com/2010/09/elmasri-navathe-fundamentals-of-database-systems-3rd-ed1.pdf

Не могли бы вы указать, где говорится, что x-->a и y-->b НЕ ПОДРАЗУМЕВАЕТ xy-->ab?

person Janus De Bondt    schedule 17.11.2012
comment
страница 353, второй абзац, да, вы правы насчет книги, я нашел копию в книгах Google ссылка - person idexi; 18.11.2012
comment
Хм, я не могу найти пример, где x--›a и y--›b не подразумевают xy--›ab.. Извините, но я не могу вам помочь. - person Janus De Bondt; 18.11.2012

Я только что проверил CJ DATE , где в главе 11 на странице 339 указано правило, называемое составом , если a->b , c->d, то ac->bd , так что это отвечает на часть моего запроса, но мне любопытно, почему это в навате сказано иначе.

person idexi    schedule 18.11.2012