В мире теории реляционных баз данных существует функциональная зависимость, когда один атрибут определяет другой атрибут уникально в базе данных. Тривиальная функциональная зависимость — это зависимость от базы данных, которая возникает при описании функциональной зависимости атрибута или набора атрибутов, который включает исходный атрибут.
Примеры тривиальных функциональных зависимостей
Этот вид зависимости называется тривиальным, потому что он может быть выведен из здравого смысла. Если одна «сторона» является подмножеством другой, она считается тривиальной. Левая сторона считается определяющей, а правая — зависимой.
- {A, B} -> B является тривиальной функциональной зависимостью, потому что B является подмножеством A, B. Поскольку {A, B} -> B включает в себя B, значение B может быть определено. Это тривиальная функциональная зависимость, потому что определение B удовлетворяется его отношением к A, B. Поскольку значения B определяются значениями A, любая другая последовательность, которая разделяет значения A, будет иметь те же значения, что и B. Еще один способ выразить это состоит в том, что все B включены в A, поэтому является подмножеством А.
- {Employee_ID, Employee_Name} -> Employee_ID также является тривиальной функциональной зависимостью, поскольку Employee_ID является подмножеством {Employee_ID, Employee_Name}.
- То же самое верно для A -> A или Employee_ID -> Employee_ID и Employee_Name -> Employee_Name. Все это тривиальные функциональные зависимости.
- Если функциональная зависимость X–> Y и Y является подмножеством X, это тривиальная функциональная зависимость. Если Y не является подмножеством X, это не тривиальная функциональная зависимость.
