이산수학 7. 관계, 부분 순서 - swkim0128/PARA GitHub Wiki

---

영상: https://www.youtube.com/playlist?list=PLD8rdlfZeJk4n5XQc6bMTZ9eh1C4vGmKQ

• 이항관계
  • 집합 내의 원소들간의 존재할 수 있는 관계에 대한 개념
  • 이항 관계는 n항 관계에서 n이 2인 특수 경우 - 우리가 흔히 생각하는 "a는 b보다 크다"와 같은 개념도의 관계의 하위 개념
  • 관계를 이야기할 때 함수를 빼놓을 수 없는데 함수는 관계의 하위 개념이면서 동시에 프로그래밍의 꽃
  • 함수의 정의 - 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계" 이기 때문
  • 특이한 관계 - 반사, 대칭, 반대칭, 비대칭, 추이 관계
  • 추이관계 - 데이터 베이스의 관계를 제 3 정규형으로 만들기 위해 추이적 함수 종속성을 제거 해야 한다, 그래프에서 경로 개념에서 추이적 관계를 생각 가능: 정점 a와 b(aRb), b와 c(bRc)가 연결되어 있으면 a에서 c로 가는 경로가 존재한다(aRc)는 식으로 생각할 수 있다.