예상되는 관계에 기능 종속성이 있는지 확인하는 방법은 무엇입니까?

Question

함수 관계가있는 관계 R에서 시작하여이 FD를 관계 S에 투영하는 경우 특정 FD가 예상되는 관계를 유지하는지 확인할 수있는 방법은 무엇입니까?

Answer 1

관계 R과 R에있는 함수 종속성의 집합으로 시작하고 R의 투영 S를 취한다고 가정합니다 (FD를 속성/열의 소스 및 대상 집합 쌍으로 간주). 그리고 S에서 보유하고있는 FDS는 다음과 같습니다 열 S에

• 소스 속성
  1. FDS/및
  2. 소스 세트가 된 FDS 원래에 들고 하나의 소스 세트 R 및
  3. 대상 집합은 해당하는 목표 설정 마이너스 S의 속성/열없는, 주어진 FDS를 위해 그래서

  1에서 FDS의 세트의 전이 폐쇄에

다른 모든 FDS는, 각각의 경우 S 보유 012에있는 세트 FD의 전이 폐쇄 안에있다.

R에 붙드는 본래 FDs의 한개가 1 안에 있지 않으면 그때 또한 2 안에이지 않는다는 것을주의 하십시요. 열

S.

에/R 들고 일본어들 중 FD는 타겟 IFF에 S이고 소스 속성 것을

가

주 (물론, FDS의 전이 폐쇄를 설명하는 다른 방법이 있다는 또한 1을위한 다른 선택이 있습니다. 저는 어떤 의미에서 R에서 보유하고있는 원래의 것에 가장 가까운 FD를 선택했습니다.