본문 바로가기

Lobo's study room/정보처리기사

[데이터베이스]암스트롱의 추론규칙(Amstrong’s Axioms)

암스트롱의 추론규칙(Amstrong’s Axioms)
주어진 릴레이션 R에 존재하는 함수 종속에 대한 추론 규칙(inference rule).
  • 폐포(closure, F+) : F에 논리적으로 내포되는 함수적 종속 집합. (= 함수적으로 지배 받는 애트리뷰트 집합)