Значение, присвоенное объекту, заключенному в выражение наблюдения, дает мне разные значения при входе или выходе IF

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

Также, если нам дано значение , и нам говорят, что FDs, которые он удовлетворяет, являются FD, что переменная, которая может ее удержать, удовлетворяет , а затем по этому предположению переменные FDs являются FD. (Это иногда называют «репрезентативными данными» для переменной). Но если нам просто присваивается значение, которое может возникнуть для переменной, то мы знаем только, что

• FDs, которые дон 't в значении также не имеют значения в переменной
• [тривиальных FDs для обоих удержаний (те, которые имеют вид S -> подмножество S) (те, которые должны выполняться независимо от значения, основанные только на атрибутах) (что должно быть одинаковым для значения & amp; переменной)

См. также этот ответ .