영역 관계 미적분학

컴퓨터 과학에서 도메인 관계 미적분학(DRC)은 관계 데이터 모델의 선언적 데이터베이스 질의 언어로 미셸 라크로스와 알랭 피로테가 도입한 미적분학이다.^[1]

DRC에서 쿼리는 다음과 같은 형식을 갖는다.

\{\langle X_{1},X_{n}}\\angle \mid p(\langle X_{1},X_{2},X_{n}\angle )\}}

여기서 각 X는_i 도메인 변수나 상수 중 하나이며, $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ , $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ , $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ . $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ . X $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ ) ${\displaystyle$ p $(\langle X_{1},X_{2},X_{n}\angle$ )는 $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ $p(\langle X_{1},X_{2},....,X_{n}\rangle )$ DRC 공식을 나타낸다.질의 결과는 DRC 공식을 참으로 만드는 튜플 X에서₁ X까지의_n 집합이다.

이 언어는 튜플 미적분학, 논리 결합형 ∧ (및), ∨ (또는) 및 ¬ (not)와 같은 연산자를 사용한다.존재론적 정량자(正량자)와 보편적 정량자(正량자)를 사용하여 변수를 바인딩할 수 있다.

그것의 계산적 표현력은 관계 대수학과 동등하다.^[2]

예

Let (A, B, C)는 기업 관계에서 (직위, 이름, ID)를 의미한다.

부서 관계에서 (D, E, F)는 (이름, DeptName, ID)를 의미한다.

USS 엔터프라이즈호의 모든 선장:

\displaystyle \왼쪽\{\\왼쪽\langle A,B,C\right\angle }\mid {\왼쪽\langle A,B,C\right\rangele \in \mathrm {Enterprise} \land \land \a=\mathrmath {'}\captime}\}\right\}\}\}\captime\}}\cright\}

이 예에서 A, B, C는 결과 집합과 표 Enterprise를 모두 나타낸다.

Stellar Cartography에 있는 Enterprise 승무원의 이름:

{\begin{aligned}\{{\left\langle B\right\rangle }&\mid {\exists A,C\ \left\langle A,B,C\right\rangle \in \mathrm {Enterprise} }\\&\land \ {\exists D,E,F\ \left\langle D,E,F\right\rangle \in \mathrm {Departments} }\\&\land \ F=C\ \land \ E=\mathrm {'Stellar\ Cartography'} \}\\\end{aligned}}

이 예에서는 이름만 찾고 있는데, 그게 B야.조건 F = C는 Stellar Cartography 부서의 Enterprise 승무원 AND 구성원의 교차점을 설명하는 요건이다.

이전 예제의 대체 표현은 다음과 같다.

\left\{\ {\left\langle B\right\rangle }\mid {\exists A,C\ \left\langle A,B,C\right\rangle \in \mathrm {Enterprise} }\ \land \ {\exists D\ \left\langle D,\mathrm {'Stellar\ Cartography'} ,C\right\rangle \in \mathrm {Departments} }\ \right\}

이 예에서 요청된 F 도메인의 값은 수식에 직접 배치되고 C 도메인 변수는 이미 승무원의 ID를 보유하고 있기 때문에 부서의 존재에 대한 질의에 다시 사용된다.

참고 항목

관계 미적분학

참조

^ 미셸 라크로스, 알랭 피로테:도메인 지향 관계 언어.VLDB 1977: 370-378
^ E. F. Codd: 데이터 베이스 서브 언어의 관계 완성도R. R. Rustin, 데이터 베이스 시스템 편집기.프렌티스 홀, 1972년

외부 링크

[LP77-1] 미셸 라크로스, 알랭 피로테:도메인 지향 관계 언어.VLDB 1977: 370-378

[Codd72a-2] E. F. Codd: 데이터 베이스 서브 언어의 관계 완성도R. R. Rustin, 데이터 베이스 시스템 편집기.프렌티스 홀, 1972년

[1]

[2]

Search

영역 관계 미적분학

네임스페이스

더

목차

예

참고 항목

참조

외부 링크