관계대수, 관계해석

관계대수

관계형 데이터베이스에서 원하는 정보와 그 정보를 검색하기 위해 어떻게 유도하는가를 기술하는 절차적인 언어

구분	기호	이름	설명
순수관계 연산자	σ	셀렉션 selection	릴레이션에서 주어진 조건을 만족하는 튜플을 결과로 나타내는 연산
	π	프로젝션 projection	릴레이션에서 주어진 속성들의 값을 추출하여 새 릴레이션을 만드는 연산
	⋈	조인 join	공통 속성을 중심으로 두 개의 릴레이션을 하나로 합쳐서 새로운 릴레이션을 만드는 연산
	÷	디비전 division	릴레이션 A, B가 있을 때 릴레이션 B의 조건에 맞는 것들만 릴레이션 A에서 분리하여 프로젝션을 하는 연산
일반집합 연산자	∪	합집합 union	두 릴레이션의 합집합 (중복 튜플은 제거)
	∩	교집합 intersect	두 릴레이션의 교집합
	－	차집합 difference	두 릴레이션의 차집합
	×	교차곱 cartesian product	두 릴레이션에 있는 튜플들의 순서쌍을 구하는 연산

 

 

관계해석

관계 데이터의 연산을 표현하는 방법. 코드가 수학의 술어 해석을 기반에 두고 제안. 원하는 정보가 무엇이라는 것만 정의하는 비절차적인 언어.

구분	기호	이름	설명
연산자	∨	OR	원자식 간 '또는' 관계로 연결
	∧	AND	원자식 간 '그리고' 관계로 연결
	ㄱ	NOT	원자식에 대해 부정
정량자	∀	전칭 정량자 Universal Quantifier	모든 가능한 튜플
	∃	존재 정량자 Existential Quantifier	어떤 튜플 하나라도 존재