암스트롱의 공리

IT위키
인쇄용 판은 더 이상 지원되지 않으며 렌더링 오류가 있을 수 있습니다. 브라우저 북마크를 업데이트해 주시고 기본 브라우저 인쇄 기능을 대신 사용해 주십시오.
Armstrong's axioms
  • 재귀성(reflexivity): 만약 Y가 X의 부분집합이면, X→Y이다.
  • 부가성(augmentation): 만약 X→Y이면, XZ→YZ이다.
  • 이행성(transitivity): 만약 X→Y이고 Y→Z이면, X→Z이다.
  • 분해(decomposition): 만약 X→YZ이면, X→Y이고 X→Z이다.
  • 합집합(union): 만약 X→Y이고 X→Z이면, X→YZ이다.
  • 의사이행(pseudotransitivity): 만약 X → Y이고 YZ → W이면, XZ → W
  • 자기결정(self-determination): 자기 자신은 자신에 의해 함수 종속적이다. 즉, X→X이다.

같이 보기

원본 주소 "https://itwiki.kr/index.php?title=암스트롱의_공리&oldid=9241"