실세계 시스템 기반의 데이터베이스 설계

CHAPTER 1 실세계와 시스템 그리고 데이터베이스
1.1 시스템과 실세계
1.1.1 시스템(system)이란?
1.1.2 실세계(real world)란?
1.2 데이터베이스 시스템 특성
1.2.1 파일 처리 시스템과 문제점
1.2.2 데이터베이스 시스템의 특성
1.3 데이터베이스 추상 레벨과 데이터 독립성
1.3.1 데이터 추상화(data abstraction)
1.3.2 데이터 추상화의 예
1.3.3 추상화 레벨 간의 연계
1.3.4 데이터 독립성(data independence)
1.4 데이터베이스 시스템 구성
1.4.1 데이터베이스 관리 시스템
1.4.2 데이터 언어
1.4.3 응용 프로그램
1.4.4 사용자
1.4.5 데이터베이스 관리자
1.4.6 데이터베이스 시스템의 클라이언트-서버 모델 구조
1.5 데이터베이스 시스템 기술의 발전 과정
1.5.1 1950년대의 데이터베이스 기술 발전
1.5.2 1960년대의 데이터베이스 기술 발전
1.5.3 1970년대의 데이터베이스 기술 발전
1.5.4 1980년대의 데이터베이스 기술 발전
1.5.5 1990년대의 데이터베이스 기술 발전
1.5.6 2000년대의 데이터베이스 기술 발전
1.5.7 2010년대의 데이터베이스 기술 발전
1.5.8 2020년대 초반의 데이터베이스 기술 발전

CHAPTER 2 실세계 시스템 중심의 데이터베이스 설계 프로세스
2.1 실세계 시스템 기반의 데이터베이스 설계 개념
2.2 데이터베이스를 잘 설계해야 하는 이유
2.3 데이터베이스 설계의 종류와 데이터 모델
2.3.1 개념적 설계
2.3.2 논리적 설계
2.3.3 물리적 설계
2.4 실세계 시스템 기반의 데이터베이스 설계 절차

CHAPTER 3 실세계 시스템 기반의 개념적 설계와 ER 모델
3.1 개념적 설계의 개념 요소
3.1.1 개체와 속성 그리고 키(key)
3.1.2 관계와 약한 개체
3.1.3 ISA 관계와 상속성
3.1.4 종합화(aggregation)
3.1.5 대응 카디널리티
3.2 ER 모델
3.2.1 P. Chen 표기법의 개념 요소
3.2.2 IE(Crow’s foot) 표기법의 개념 요소
3.2.3 기타 ER 모델 개념 요소들
3.2.4 강의 시스템 실세계 ERD에 대한 시스템적 분석 예
3.3 ER 모델을 이용한 시스템 기반의 개념적 설계 절차와 방법

CHAPTER 4 논리적 설계와 관계형 데이터 모델
4.1 논리적 데이터 모델
4.1.1 논리적 데이터 모델 개념
4.1.2 논리적 데이터 모델링(논리적 데이터 설계)을 하는 이유
4.1.3 관계형 데이터 모델과 객체지향 데이터 모델
4.2 관계형 데이터 모델
4.2.1 관계형 데이터베이스 기본 구조와 개념
4.2.2 데이터베이스 스키마와 릴레이션 스키마
4.2.3 릴레이션의 키
4.2.4 SQL을 이용한 릴레이션 생성 예
4.3 질의어와 종류
4.3.1 질의어(query language)란?
4.3.2 절차적 언어와 선언적 언어
4.3.3 순수 질의어와 상용 질의어
4.4 데이터 무결성과 무결성 제약조건
4.4.1 데이터 무결성과 무결성 손상
4.4.2 도메인, NOT NULL 그리고 유일성 제약조건
4.4.3 참조 무결성 제약조건
4.5 대응 카디널리티와 무결성 제약조건
4.6 논리적 설계 접근 방법

CHAPTER 5 관계형 데이터 언어 : 관계 대수
5.1 기본 연산
5.1.1 select 연산
5.1.2 project 연산
5.1.3 union 연산
5.1.4 set difference 연산
5.1.5 cartesian-product 연산
5.1.6 rename 연산
5.2 추가 연산
5.2.1 set-intersection 연산
5.2.2 natural-join 연산
5.2.3 theta-join 연산
5.2.4 division 연산
5.2.5 assign 연산

CHAPTER 6 관계형 데이터 언어 : SQL
6.1 데이터 정의어(DDL : Data Definition Language)
6.1.1 릴레이션 연산
6.1.2 뷰 연산
6.2 데이터 조작어(DML : Data Manipulation Language)
6.2.1 SELECT 연산
6.2.2 INSERT 연산
6.2.3 UPDATE 연산
6.2.4 DELETE 연산
6.3 데이터 제어어(DCL : Data Control Language)
6.3.1 GRANT 연산
6.3.2 REVOKE 연산
6.4 트랜잭션 제어어(TCL : Transaction Control Language)
6.5 뷰(view)와 연산
6.5.1 CREATE VIEW 연산
6.5.2 DROP VIEW 연산
6.5.3 뷰 사용의 장점

CHAPTER 7 데이터 이상과 정규화
7.1 데이터 이상(data anomaly)
7.1.1 삽입 이상(insertion anomaly)
7.1.2 삭제 이상(deletion anomaly)
7.1.3 갱신이상(update anomaly)
7.1.4 데이터 이상의 원인과 데이터 정규화(data normalization)
7.2 함수적 종속성(functional dependency)
7.2.1 함수적 종속성 개념
7.2.2 함수적 종속성 표기와 식별
7.2.3 함수적 종속성의 성질과 역할
7.3 정규형과 릴레이션 스키마 분해
7.3.1 정규형(normal form)
7.3.2 릴레이션 스키마 분해와 분해 조건
7.4 정규화(normalization)
7.4.1 제 1 정규형(The First Normal Form : 1st NF, 1NF)과 정규화
7.4.2 제 2 정규형(The Second Normal Form : 2nd NF, 2NF)과 정규화
7.4.3 제 3 정규형(The Third Normal Form : 3rd NF, 3NF)과 정규화
7.4.4 Boyce-Codd 정규형(Boyce-Codd Normal Form : BCNF)과 정규화
7.4.5 제 4 정규형(The Fourth Normal Form : 4th NF, 4NF)과 정규 화
7.4.6 제 5 정규형(The Fifth Normal Form : 5th NF, 5NF)과 정규화
7.5 정규형 간의 포함관계

CHAPTER 8 실세계 시스템 중심의 데이터베이스 설계
8.1 실세계 시스템 중심의 데이터베이스 설계 고려사항
8.1.1 개념적 설계 고려사항
8.1.2 논리적 설계 고려사항
8.2 관계형 데이터베이스 설계 프로세스
8.2.1 실세계 정의
8.2.2 ER 모델을 이용한 개념적 설계
8.2.3 관계형 데이터베이스의 논리적 설계
8.3 ERD의 릴레이션 변환
8.3.1 강한 개체 타입의 릴레이션 변환
8.3.2 약한 개체 타입의 릴레이션 변환
8.3.3 관계 타입의 릴레이션 변환
8.3.4 일반화 관계의 릴레이션 변환
8.3.5 종합화(aggregation)의 릴레이션 변환
8.4 릴레이션의 정규화

CHAPTER 9 실세계 시스템 중심의 데이터베이스 설계와 구현 예
9.1 강의 실세계 정의
9.2 강의 시스템의 개념적 설계
9.3 강의 시스템의 논리적 설계
9.3.1 개체 타입의 릴레이션 스키마 변환
9.3.2 관계 타입의 릴레이션 스키마 변환
9.3.3 강의 시스템 ERD에서 변환된 릴레이션들
9.3.4 릴레이션에 대한 정규화
9.4 속성 타입과 참조 무결성
9.5 관계형 데이터베이스 구현
9.5.1 릴레이션 생성
9.5.2 제약조건의 반영

CHAPTER 10 트랜잭션 개념과 성질
10.1 데이터베이스 접근 원리
10.1.1 블록과 버퍼
10.1.2 데이터 판독
10.1.3 데이터 기록
10.1.4 블록과 버퍼를 사용하는 이유
10.1.5 SQL 명령과 판독·기록 연산
10.2 트랜잭션과 원자성
10.3 트랜잭션의 상태
10.4 트랜잭션의 ACID 성질
10.4.1 원자성 손상의 문제점
10.4.2 일관성 손상의 문제점
10.4.3 격리성 손상의 문제점
10.4.4 영속성 손상의 문제점
10.5 트랜잭션의 격리성 수준

CHAPTER 11 복구 시스템
11.1 장애(failure)
11.1.1 장애의 유형과 특성
11.1.2 기억장치의 유형과 특성
11.2 원자성과 복구 가능성
11.3 로그와 복구 연산
11.3.1 로그와 로그 레코드
11.3.2 UNDO 연산과 REDO 연산
11.3.3 동시 트랜잭션
11.4 로그 기반의 로깅과 복구 방법들
11.4.1 지연 갱신 방법
11.4.2 즉시 갱신 방법
11.4.3 체크포인트 방법
11.4.4 체크포인트 방법의 로깅과 복구 예
11.5 쉐도우 카피 방법과 쉐도우 페이징 방법

CHAPTER 12 동시성 제어
12.1 동시 실행 환경과 동시성 제어
12.1.1 트랜잭션 동시 실행 환경
12.1.2 격리성 손상과 동시성 제어
12.1.3 기아상태와 교착상태
12.2 트랜잭션 스케줄과 직렬성
12.2.1 스케줄(schedule)
12.2.2 직렬 스케줄(serial schedule)과 직렬가능 스케줄(serializable schedule)
12.2.3 스케줄 실행순서의 교환
12.2.4 충돌(conflict)
12.2.5 충돌 직렬가능 스케줄(conflict serializable schedule)
12.2.6 뷰 직렬가능 스케줄(view serializable schedule)
12.2.7 직렬가능성과 충돌 직렬가능성을 소개한 이유
12.3 동시성 제어 스킴: 로크 기반 규약
12.3.1 2단계 로킹 규약(2-phase locking protocol)
12.3.2 그래프 기반 규약(graph based protocol)
12.4 동시성 제어 스킴: 타임스탬프 기반 규약
12.4.1 타임스탬프 순서 규약(timestamp ordering protocol)
12.4.2 토마스 기록 규칙(Thomas’ write rule)
12.4.3 검증 기반 규약(validation-base protocol)
12.5 트랜잭션의 격리성 수준
12.5.1 격리성과 일관성 손상
12.5.2 격리성 수준
12.5.3 SQL 표준에서 격리성 수준 설정