87. 관계대수 및 관계해석(A)

관계 대수

• 관계형 데이터베이스에서 원하는 정보와 그 정보를 검색하기 위해서 어떻게 유도하는가를 기술하는 절차적 언어
• 순수 관계 연산자 : Select, Project, Join, Division
• 일반 집합 연산자 : UNION(합집합), INTERSECTION(교집합), DIFFERENCE(차집합), CARTESIAN PRODUCT(교차곱)

 

Select

• 릴레이션의 행에 해당하는 튜플을 구하는 것, 수평 연산
• 기호는 시그마 사용

 

Project

• 릴레이션의 열에 해당하는 속성 추출, 수직 연산
• 기호는 파이 사용

 

Join

• 공통 속성을 중심으로 두 개의 릴레이션을 하나로 합쳐서 새로운 릴레이션을 만드는 연산
• 교차곱 후 Select 수행한 것과 같음

 

Division

• R이 S에 속할 떄 R의 속성이 S의 속성값을 모두 가진 튜플에서 S가 가진 속성을 제외한 속성만 구하는 연산
• 기호는 나누기 사용

 

일반 집합 연산자

• 합집합(UNION), 교집합(INTERSECTION), 차집합(DIFFERENCE), 교차곱(CARTESIAN PRODUCT)

 

 

관계 해석

• 코드(E.F.Codd)가 수학의 술어 해석에 기반을 두고 관계 데이터베이스를 위해 제안
• 비절차적 특성
• 논리기호 : 전칭 정량자(For All), 존재 정량자(There Exists)