Как узнать, сохраняется ли функциональная зависимость в проецируемом отношении?

Если я начну с отношения R с набором функциональных зависимостей и проецирую эти FD на отношение S, как я могу определить, сохраняются ли определенные FD в спроецированном отношении?


functional-dependencies database-theory
person user3768988    schedule 19.07.2014    source источник
comment
Вы можете начать с определения владения FD. Кроме того, проецировать FD на отношение не имеет смысла, поэтому вы можете потратить время, чтобы выразить то, что вы имеете в виду в своем вопросе.   -  person philipxy    schedule 20.07.2014
comment
Да, это имеет смысл. #YourNotVeryKnowledable #YouShouldTakeTimeBeforeYouMakeIllInformedComments   -  person user3768988    schedule 20.07.2014
comment
Вы, по-видимому, пытаетесь сказать, что если вы начнете с отношения R, в котором выполняются определенные функциональные зависимости, и возьмете проекцию S на R, как вы сможете определить, выполняются ли данные FD в S.   -  person philipxy    schedule 20.07.2014

Ответы (1)


arrow_upward
1
arrow_downward

Предположим, мы начинаем с отношения R и набора функциональных зависимостей, которые выполняются в R, и берем проекцию S отношения R. (Принимая FD за пару исходного и целевого наборов атрибутов/столбцов.) Затем FD, которые держать в S являются:

  1. The FDs where
    • the source attributes/columns are in S, and
    • исходный набор — это исходный набор одного из FD, первоначально хранящегося в R, и
    • целевой набор — это соответствующий целевой набор за вычетом атрибутов/столбцов, не входящих в S, и
  2. Все остальные ФД в транзитивном замыкании множества ФД в 1.

Таким образом, для заданных FD каждая выполняется в S, если она находится в транзитивном замыкании множества FD в 1.

Обратите внимание, что если один из исходных FD, содержащихся в R, не находится в 1, то он не находится и в 2.

Обратите внимание, что FD среди исходных, содержащихся в R, находится в S, если его целевой и исходный атрибуты/столбцы находятся в S.

(Конечно, существуют и другие способы описания транзитивного замыкания ФЗ, которые выполняются в S. Также есть разные варианты для 1. Я выбрал ФЗ для 1, которые в каком-то смысле ближе всего к исходным, содержащимся в R.)

person philipxy    schedule 20.07.2014