관계 미적분학

Relational calculus

관계 미적분은 데이터베이스에 대한 관계 모델의 일부인 튜플 관계 미적분과 도메인 관계 미적분 두 개의 미적분으로 구성되며 데이터베이스 조회를 지정하는 선언적 방법을 제공한다. 관계 미적분학의 존재는 질의 최적화의 공식화인데, 이는 동일한 질의를 실행하기 위한 보다 효율적인 매너를 찾고 있다.

관계 미적분은 관계 대수와 유사하며, 관계 모델의 일부이기도 하다. 관계적 미적분은 관계적 미적분표현의 하위 표현에 대해 실행 순서를 규정하지 않는 선언적 언어로 의미되는 반면, 관계적 대수학은 필수 언어로서 의미된다: 관계적 대수표현의 하위 표현은 다음과 같이 좌우 및 안쪽에서 실행되도록 되어 있다.둥지를 틀다

Codd의 정리로는 관계 대수학 및 도메인 독립 관계 미적분이 논리적으로 동등하다.

예

관계 대수식에서는 일부 샘플 북을 공급하는 서점의 전화번호와 이름을 검색하기 위해 다음과 같은 단계를 규정할 수 있다.

  1. 서점을 통해 서점 및 제목에 참여아이디
  2. 이 결합의 결과를 Some Sample Book의 튜플로 제한하십시오.
  3. StoreName 및 StorePhone에 대한 제한의 결과를 예측하십시오.

관계 미적분 표현은 다음과 같은 서술적 또는 선언적 방식으로 이 질의를 공식화할 것이다.

동일한 서점에 제목 BK가 있을 수 있도록 서점에 대한 StoreName 및 StorePhone 가져오기ID 값 및 일부 샘플북의 BookTitle 값.

수학적 특성

관계 대수학 및 도메인 독립 관계 미적분학은 논리적으로 동등하다: 어떤 대수적 표현에 대해서도 미적분학에는 등가적 표현이 있고, 그 반대의 경우도 마찬가지다. 이 결과는 Codd의 정리라고 알려져 있다.

목적

관계 미적분학의 존재는 질의 최적화의 공식화다. 질의 최적화는 질의에서 그것을 실행하는 가장 효율적인 방법(또는 매너)을 결정하는 데 있다. 질의 최적화는 대답 A를 전달하는 관계 미적분 식을 같은 대답 A를 전달하는 효율적인 관계 대수 식으로 번역하는 것으로 공식화할 수 있다.

참고 항목

참조

  • Date, Christopher J. (2004). An Introduction to Database Systems (8th ed.). Addison Wesley. ISBN 0-321-19784-4.
Stub icon

이 데이터베이스 관련 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.