Relational algebra 문서 원본 보기

상위 문서: [[Relational Query Languages]]

==개요==
Relational algebra는 procedural 언어에 해당하며 하나 혹은 두개의 relation을 입력으로 받고 새로운 relation을 출력하는 여러 연산자로 구성된다. 이러한 Relational algebra는 SQL Query Languages의 이론적인 토대를 형성한다. 



==Six Basic Operator==
아래에서 수식에 쓰이는 r은 relation 인스턴스를 의미한다. 
[[파일:Relational Model Example.png|섬네일|506x506픽셀|instructor and department]] 

===select: <math>\sigma</math> ===
* <math>\sigma_{p}(r)</math>
위에서 select 연산은 주어진 조건(p)을 만족하는 tuple 만을 골라내어서 relation을 새로 구성한다. 

예를 들어서 "Physics" department에 속하는 instructor들이 속하는 tuple들의 relation은 다음과 같이 만들 수 있다.
* Query: <math>\sigma</math><sub>dept_name = "Physics"</sub></math>(instructor)</math>

[[파일:SelectOpExample.png|테두리|프레임없음|300x300픽셀]]

===project: <span style="font-size: 15px;"><math>\prod_{}^{}</math></span> ===
* <math>{\prod}_{A_1,A_2,A_3,...A_k}(r)</math>
project operation은 <math>A_1,A_2,A_3,...A_k</math>에 속하는 속성들 만을 나타내는 k개의 column들로 이뤄진 relation을 만든다.
이때 중복되는 값이 있다면 relation은 기본적으로 집합이기 때문에 삭제된다.

예를 들어 dept_name 속성을 instructor에서 제거한 relation을 얻고 싶다면 다음과 같이 만들 수 있다.
*Query: <math>{\prod}_{ID, name, salary}(instructor)</math>
[[파일:ProjectOpExample.png|테두리|프레임없음|300x300픽셀]]

===Cartesian-Product Operation===
The Cartesian-product 연산자(denoted by X) 

===union: <math>\smile</math> ===

===set difference: - ===

===cartesian product: x ===

===rename: <math>\rho</math> ===


==Composition of Relational Operations==
realtional-algebra operation의 결과는 relation이기 때문에 연산의 결과를 다른 realtional-algebra operation의 피연산자로 사용할 수 있다.

예를 들어서 physics department에 속하는 모든 instructor들의 이름을 찾는 query를 만들면 다음과 같다.
<span style="font-size: 15px;"><math>\prod_{}^{}</math></span><sub>name</sub><math>(\sigma</math><sub>dept_name = "Physics"</sub><math>(instructor))</math>


[[분류:데이터베이스 시스템]]