제2 장 관계 데이터베이스

제2 장 관계 데이터베이스
2.1 관계 데이터베이스 및 형식화 정의

관계 데이터베이스 시스템 은 관계 모델 을 지원 하 는 데이터베이스 시스템

3 요소

관계 데이터 구조

관계 조작 집합

관계 완전 성 제약

2.1.1 관계 데이터 구조

데이터 구조 - 관계 - 2 차원 표

도 메 인 (Domain) 은 같은 데이터 형식 을 가 진 집합 가치 가 있다

피리 칼 적 (Cartesian Product)

관계 (Relation): 실체의 속성 후보 코드 (Candiate key) 메 인 코드 (Primary key) 비 주 속성 (Nonprimary attribute) 비 코드 속성 (Non - key attribute) 전체 코드 (All - key)

관계 의 세 가지 유형: 기본 관계 (기본 표, 기본 표), 조회 표, 도표 참조

기본 표: 실제 존재 하 는 표 로 실제 데 이 터 를 저장 하 는 논리 적 표현

조회 표: 조회 결과 에 대응 하 는 표

도표 보기: 기본 표 나 다른 도표 에서 내 보 낸 표 는 가상 표 이 고 실제 저 장 된 데이터

에 대응 하지 않 습 니 다.
실제 sql server 데이터베이스 에서 도 이 세 가지 표 가 표 시 됩 니 다.

관계 모드

관계 모델 은 형 이 고 관 계 는 값

관계 에 대한 설명 을 관계 모델 (Relation Schema) 이 라 고 부 르 면 R (U, D, DOM, F) R: 관계 명 U: 관계 의 속성 명 집합 D: 속성 그룹 U 에서 속성 이 가 져 온 도 메 인 DOM: 속성 도 메 인 이미지 집합 F: 속성 간 데이터 의존 관계 집합

2.1.3 관계 데이터베이스

-                            
    -       
    -               

2.2 관계 조작
2.2.1 기본 관계 조작

관계 조작

조회 (Query)

선택 (Select) 투영 (Project) 링크 (Join) 나 누 기 (Divide) 및 (Union) 차 (제외) 교차 (교차) 피리 칼 적

삽입 (삽입) 삭제 (삭제) 수정 (업데이트)

2.2.2 관계 데이터 언어 분류

관계 대수: 관계 에 대한 연산 으로 조회 요 구 를 표현 한다

관계 연산: 서술 어 로 조회 요 구 를 표현 한다

관계 연산: 서술 어 에 따라 원 으로 변 할 수 있 는 기본 대상 은 원 조 변수 입 니까? 도 메 인 변 수 는 원 조 관계 연산 과 도 메 인 관계 연산 으로 나 눌 수 있 습 니까?

관계 데이터 언어 분류:

관계 대수 언어, 예 를 들 어 ISBL

관계 연산 언어

원조 관계 연산 언어, 예 를 들 어 APLHA, QUEL

도 메 인 관계 연산 언어, 예 를 들 어 QBE

기 우 관계 대수 와 관계 연산 의 이중 특징 을 가 진 언어, 예 를 들 어 SQL

관계 완전 성
관계 의 세 가지 완전 성 제약

실체 완전 성 (필요)

참조 완전 성 (필요)

사용자 정의 의 완전 성

2.3.2 실체 완전 성 (Entity Integrity)

규칙: 실체 완전 성 규칙 은 속성 (하나 또는 한 그룹의 속성 을 가리 키 는 말) A 가 기본 관계 R 의 주 속성 이면 A 는 빈 값 을 가 져 올 수 없다

2.3.3 참조 완전 성

정의: 설정 F 는 기본 관계 R 의 하나 또는 한 그룹의 속성 이지 만 관계 R 의 코드 가 아니다. kt 는 기본 관계 S 의 메 인 코드 이 고 F 가 kt 와 대응 하면 F 는 R 의 외부 코드 (Foreign Key) 이 며 기본 관계 R 을 참조 관계 (Referencing Relation) 라 고 하고 기본 관계 S 는 참조 관계 (Referenced Relation) 또는 목표 관계 (Target Relation) 라 고 한다.관계 R 과 S 가 반드시 다른 관 계 는 아니다

규칙 은 완전 성 규칙 을 참조 합 니 다. 만약 에 속성 (또는 속성 그룹) F 가 기본 관계 R 의 외부 코드 라면 기본 관계 S 의 메 인 코드 kt 와 대응 합 니 다 (기본 관계 R 과 S 가 반드시 다른 관계 가 아 닙 니 다). R 의 모든 원조 가 F 에 있 는 값 은 다음 과 같 아야 합 니 다.

또는 비 움 값 (F 의 속성 값 당 빈 값)

또는 S 의 한 원 그룹의 주 코드 값

과 같 습 니 다.

2.3.4 사용자 정의 의 완전 성 (User - defined Integrity)

사용자 정의 의 완전 성 은 특정한 관계 데이터 베 이 스 를 대상 으로 하 는 제약 조건 이다. 이 는 특정한 구체 적 인 응용 과 관련 된 데이터 가 반드시 만족 해 야 하 는 의미 요구

를 나타 낸다.
2.4 관계 대수

관계 대 수 는 추상 적 인 조회 언어 로 관계 에 대한 연산 으로 조회

를 표현 한다.
2.4.1 전통 적 인 집합 연산

및 (Unicon)

차 (예외)

교부 (교차로)

피리 칼 적 (Cartesian Product)

2.4.2 전문 적 인 관계 연산

선택 (선택)

투영 (Projection): 표 의 몇 열 을 취하 여 표를 다시 구성한다

링크 (Join): 피리 칼 적 결과 선별

등 값 링크: 두 표 의 같은 열 을 찾 습 니 다. 이 두 열 중 값 이 같은 줄 의 집합

자연 링크: 등가 링크 의 변형 에 대해 등가 링크 중의 두 개의 똑 같은 열 을 한 열 로 합 친다

연산 (Division): R (X, Y) ÷ S (Y, Z) 를 제외 하고 결 과 는 원 그룹 이다. 이 원 조 는 X 상 분량 치 x 의 상 집 은 Yx 이 고 S 는 Y 상의 투영 집합 은 Ys 이 며 Ys 는 Yx 의 부분 집합 이다.

왼쪽 링크 와 오른쪽 링크

관계 연산