관계 대수의 개념과 연산자
관계 대수학은 원하는 결과를 얻기 위해 관계를 순서대로 처리하는 과정을 설명하는 언어이다. 연산자 집합으로 정의할 수도 있습니다. 일반적으로 운영 국가는 운영 대상이며 관계 대수에서 다루는 운영 국가는 관계입니다. 이것은 관계 대수학이 관계를 계산한다는 것을 의미한다. 제공 국가인 관계에 연산자를 적용한 결과도 관계입니다. 이러한 관계대수의 특성을 폐쇄적 특성이라고 하며, 이를 보면 '콩을 심고, 팥을 심다'라는 용어를 떠올린다."
관계 대수학에 속하는 8개의 대표적인 연산자는 그 특성에 따라 일반 문장 및 관계 연산으로 나눌 수 있다.
일반 집합 연산자는 관계가 두 개의 매개 변수 집합이라는 개념으로 수학적 집합 관련 연산자를 가정합니다.
운영자 정보
상징
얼굴 표정
의미
종합 소장품
∪
RsS
R과 S 사이의 관계의 합을 반환합니다.
교차로
∩
RsS
관계 R과 S 사이의 교차점을 반환합니다.
차별화된 수량
-
R-S
R과 S 사이의 관계 차이 집합을 반환합니다.
카트에 있는 제품
×
R+S
관계 R의 각 테이블을 관계 S의 각 테이블에 연결하여 만든 새 테이블을 반환합니다.
[그림 6-4] 일반 문장 연산자의 기능
종합 소장품
종합 소장품
교차로
교차로
차별화된 수량
차별화된 수량
카트에 있는 제품
카트에 있는 제품
순수 관계 연산자는 관계의 구조와 특성을 활용하는 관계 데이터 모델에서 새로 제안된 연산자입니다. 표 6-2와 그림 6-5는 순수 관계 연산자에 속하는 연산자의 유형과 기능을 보여줍니다.
\
& 조건 및 조건
관계 조건을 충족하는 플러그 2개를 반환합니다.
프로젝트
π
아텔리부티스트(R)
관계 R의 특정 속성 값만 포함하는 테이블을 반환합니다.
참여하기
▷◁
R▷◁S
관계 R 및 S 테이블을 공통 속성과 연결하여 만든 새 테이블을 반환합니다.
비즈니스 영역
÷
RsS
관계 S의 모든 테이블에 영향을 미치는 관계 R 테이블을 반환합니다.
선택
선택
프로젝트
프로젝트
비즈니스 영역
비즈니스 영역
참여하기
참여하기
예를 들어 일반 설정 연산자와 순수 관계 연산자에 속하는 8개의 대표적인 연산자의 기능을 살펴봐요.
일반 집합 연산자
일반적인 집합 연산자에 속하는 합성, 노드, 차이 및 양이온의 합계는 집합 연산자를 생각할 때 수학에서 이해하기 쉬울 것이다. 하지만 자세히 보기 전에 고려해야 할 몇 가지 제한이 있습니다. 먼저 일반 세트 연산자는 계산을 위해 두 개의 연산자가 필요합니다. 즉, 일반 설정 연산자는 두 개의 관계를 계산합니다. 다음으로, Magiset, Cross-Set 및 Differences Set는 두 개의 제공 국가 관계 및 연합과 호환되어야 합니다. 그렇다면, 마지못해 하는 것은 무엇을 의미할까요? 이 두 관계는 다음 조건이 충족되는 경우에만 존재할 수 있다.
① 기간의 순서는 동일합니다. 이것은 두 관계 모두 같은 수의 운동선수를 가지고 있다는 것을 의미한다.
② 두 관계에서 서로 일치하는 Atlibe 도메인은 동일합니다. 그러나 도메인이 동일한 경우 광고주의 이름이 다를 수 있습니다.
이것은 불가능한 합병의 한 예이다. 고객 및 직원과의 관계는 세 가지 속성으로 동일합니다. 고객 관계의 나이는 도메인 내에서 INT이지만, 도메인 이름이 CHAR(20)이기 때문에 직원 관계가 반응하는 작업 속성은 다릅니다. 따라서 두 관계의 융합은 합병 조건인 "조건"을 위반할 수 없다. 즉, 집중, 교차 및 차이의 조작은 두 가지 방법으로 수행할 수 없습니다.
이것은 가능한 합병의 한 예이다. 고객과 직원 간의 관계는 세 가지 특성이 있기 때문에 순서가 동일합니다. 또한 고객 관계와 직원 관계에서 서로 일치하는 속성의 이름은 다르지만 도메인은 동일합니다. 따라서 이 두 관계는 합병 조건과 합병 조건을 모두 충족함으로써 결합될 수 있다. 이는 강도, 교차 및 차이의 조작이 두 가지 관계에서 수행될 수 있음을 의미합니다. 그러나 카르티온 제품은 마진이 가능한지 여부에 관계없이 계산할 수 있다.
이제 유니온의 기능, 교차로, 찻잔, 카디건 제품에 대해 자세히 알아보겠습니다.이해를 돕기 위해 R과 S 사이의 관계에 있는 각 속성은 도메인과 동일한 이름을 가지고 있다고 가정합니다.