В мире теории реляционных баз данных существует функциональная зависимость, когда один атрибут определяет другой атрибут уникально в базе данных. Тривиальная функциональная зависимость – это зависимость от базы данных, которая возникает при описании функциональной зависимости атрибута или набора атрибутов, который включает исходный атрибут.
Примеры тривиальных функциональных зависимостей
Этот вид зависимости называется тривиальным , потому что он может быть выведен из здравого смысла. Если одна «сторона» является подмножеством другой, она считается тривиальной. Левая сторона считается определителем , а правая – зависимой .
- {A, B} -> B – это тривиальная функциональная зависимость, потому что B является подмножеством A, B . Поскольку { A, B} -> B включает в себя B , можно определить значение B . Это тривиальная функциональная зависимость, потому что определение B удовлетворяется его отношением к A, B. Поскольку значения B определяются значениями A , любая другая последовательность, которая разделяет значения A , будет иметь те же значения, что и B . Другими словами, все B включены в A , поэтому это подмножество 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, это не тривиальная функциональная зависимость.
