У всех таблиц нетривиальные функциональные зависимости?

Question

Я задаю этот вопрос, потому что если в таблице есть ключ, который состоит из всех атрибутов, тогда таблица будет иметь тривиальную функциональную зависимость, так как правая часть является подмножеством левой стороны. Например, у меня отношение R с атрибутами A и B. A и B вместе являются ключом отношения R. Таким образом, у меня есть FD A B -> A B, который является тривиальной зависимостью, и, следовательно, эта таблица имеет тривиальные функциональные зависимости.

Answer 1

Ну, вы в значительной степени ответили на свой вопрос, позвольте мне попытаться изложить его в (надеюсь) более четкого пути ...

• Все атрибуты функционально зависят от ключа.
• Если ключ «охватывает» все атрибуты, то все эти зависимости тривиальны (по определению).
• OTOH, если есть атрибуты вне ключа (даже в пределах еще один ключ), то они не тривиально зависят от ключа (опять же, по определению).