목차
PART 1. 사전 준비
CHAPTER 1. 데이터베이스 관리의 개요 = 5
1.1 소개 = 5
1.2 데이터베이스 시스템의 정의 = 8
1.3 데이터베이스의 정의 = 13
1.4 데이터베이스의 장점 = 19
1.5 데이터 독립성(data independence) = 23
1.6 관계형 시스템과 다른 시스템의 차이 = 29
1.7 요약 = 31
연습문제 = 33
참고문헌 = 36
연습문제 해답 = 37
CHAPTER 2. 데이터베이스 시스템의 구조 = 39
2.1 소개 = 39
2.2 구조의 3가지 단계 = 40
2.3 외부 단계 = 43
2.4 개념 단계 = 46
2.5 내부 단계 = 47
2.6 사상(mapping) = 48
2.7 데이터베이스 관리자(DBA) = 49
2.8 데이터베이스 관리 시스템 = 51
2.9 데이터 통신 관리기(data communication manager) = 55
2.10 클라이언트／서버 구조(client／server architecture) = 56
2.11 유틸리티 = 58
2.12 분산처리 = 59
2.13 요약 = 62
연습문제 = 63
참고문헌 = 65
CHAPTER 3. 관계형 데이터베이스의 소개 = 67
3.1 소개 = 67
3.2 관계형 시스템 = 67
3.3 릴레이션과 릴레이션 변수 = 73
3.4 릴레이션의 의미 = 76
3.5 최적화 = 78
3.6 카탈로그 = 81
3.7 기본 테이블과 뷰 = 83
3.8 트랜잭션 = 87
3.9 공급자 - 부품 데이터베이스 = 88
3.10 요약 = 91
연습문제 = 93
참고문헌 = 94
연습문제 해답 = 95
CHAPTER 4. SQL 언어의 개요 = 97
4.1 소개 = 97
4.2 개요 = 99
4.3 카탈로그 = 103
4.4 뷰 = 104
4.5 트랜잭션 = 105
4.6 내장된 SQL = 106
4.7 SQL은 완전하지 않다 = 116
4.8 요약 = 117
연습문제 = 118
참고문헌 = 120
연습문제 해답 = 122
PART 2. 관계형 모델
CHAPTER 5. 도메인, 릴레이션, 기본 릴레이션 변수 = 129
5.1 소개 = 129
5.2 도메인(domain) = 131
5.3 릴레이션 값(relation values) = 143
5.4 릴레이션 변수(relation variables) = 150
5.5 SQL 기능(SQL facilities) = 156
5.6 요약 = 160
연습문제 = 163
참고문헌 = 165
연습문제 해답 = 166
CHAPTER 6. 관계형 대수 = 173
6.1 소개 = 173
6.2 닫힘 = 176
6.3 구문론 = 178
6.4 의미론(foreign keys) = 180
6.5 예 = 192
6.6 대수는 무엇을 위한 것인가? = 195
6.7 추가적인 연산들 = 197
6.8 그룹화와 비그룹화(grouping and ungrouping) = 206
6.9 관계형 비교 = 209
6.10 요약 = 211
연습문제 = 212
참고문헌 = 217
연습문제 해답 = 218
CHAPTER 7. 관계형 해석 = 229
7.1 소개 = 229
7.2 튜플 해석(tuple calculus) = 231
7.3 예제 = 241
7.4 해석 VS. 대수 = 244
7.5 계산 능력(computational capabilities) = 250
7.6 도메인 해석(domain calculus) = 251
7.7 SQL 기능 = 254
7.8 요약 = 266
연습문제 = 268
참고문헌 = 271
연습문제 해답 = 272
CHAPTER 8. 무결성 = 291
8.1 소개 = 291
8.2 타입 제약 = 293
8.3 속성 제약 = 295
8.4 릴레이션 제약 = 296
8.5 데이터베이스 제약 = 297
8.6 황금률 = 298
8.7 상태와 전이 제약(conditional expressions) = 300
8.8 키(Keys) = 302
8.9 SQL 기능 = 313
8.10 요약 = 318
연습문제 = 319
참고문헌 = 322
연습문제 해답 = 324
CHAPTER 9. 뷰(View) = 337
9.1 소개 = 337
9.2 뷰는 무엇을 위한 것인가 = 341
9.3 뷰 검색 = 345
9.4 뷰 갱신 : 검색 연산 = 346
9.5 스냅샷(SNAPSHOTS) = 365
9.6 SQL 지원 = 366
9.7 요약 = 369
연습문제 = 370
참고문헌 = 373
연습문제 해답 = 374
PART 3. 데이터베이스 설계
CHAPTER 10. 함수적 종속성 = 385
10.1 소개 = 385
10.2 기초적 정의들 = 386
10.3 직관적 종속성과 비직관적 종속성 = 390
10.4 종속성 집합의 닫힘(closure) = 390
10.5 속성들 집합의 닫힘(closure) = 392
10.6 종속성들의 최소성 집합 = 394
10.7 요약 = 397
연습문제 = 399
참고문헌 = 401
연습문제 해답 = 402
CHAPTER 11. 심화된 정규화Ⅰ : 1NF, 2NF, 3NF,BCNF = 407
11.1 소개 = 407
11.2 무손실 분해와 함수적 종속성 = 412
11.3 제 1, 2, 3. 정규형 = 416
11.4 종속성 보존 = 425
11.5 Boyee／Codd 정규형 = 427
11.6 릴레이션 값 속성에서 주의점 = 434
11.7 요약 = 436
연습문제 = 438
참고문헌 = 440
연습문제 해답 = 441
CHAPTER 12. 심화된 정규화Ⅱ : 고등 정규형 = 451
12.1 소개 = 451
12.2 다치 종속성과 제 4 정규형 = 452
12.3 조인 종속성과 제 5 정규형 = 457
12.4 정규화 과정 요약 = 463
12.5 역정규화 = 466
12.6 직교 설계 = 469
12.7 다른 정규형들 = 472
12.8 요약 = 474
연습문제 = 475
참고문헌 = 476
연습문제 해답 = 478
CHAPTER 13. 의미적 모델링 = 483
13.1 소개 = 483
13.2 전체적 접근방식 = 485
13.3 개체／관계 모델 = 487
13.4 개체／관계 다이어그램 = 492
13.5 개체／관계 모델을 사용한 데이터베이스 설계 = 495
13.6 간략한 분석 = 500
13.7 요약 = 504
연습문제 = 506
참고문헌 = 507
PART 4. 트랜잭션 관리
CHAPTER 14. 회복(Recovery) = 513
14.1 소개 = 513
14.2 트랜잭션(transaction) = 514
14.3 트랜잭션 회복 = 517
14.4 시스템 회복 = 520
14.5 장치 회복(medial recovery) = 522
14.6 2단계 완료(two-phase commit) = 523
14.7 SQL 지원 = 524
14.8 요약 = 526
연습문제 = 528
참고문헌 = 529
연습문제 해답 = 531
CHAPTER 15. 병행수행(Concurrency) = 533
15.1 소개 = 533
15.2 세 가지 병행수행 문제 = 534
15.3 로킹(locking) = 538
15.4 세 가지 병행수행 문제의 해결 = 540
15.5 교착상태(deadlock) = 543
15.6 직렬성(serializability) = 544
15.7 독립성 레벨(level of isolation) = 546
15.8 의도 로킹(intent locking) = 548
15.9 SQL 지원 = 551
15.10 요약(Summary) = 553
연습문제 = 555
참고문헌 = 557
연습문제 해답 = 558
PART 5. 추가적인 토픽
CHAPTER 16. 보안(Security) = 565
16.1 소개 = 566
16.2 임의적 접근 제어(discretionary access control) = 568
16.3 강제적 접근 제어(mandatory access control) = 575
16.4 통계 데이터베이스(statistic databases) = 579
16.5 데이터 암호화(data encryption) = 585
16.6 SQL 지원 = 590
16.7 요약 = 594
연습문제 = 596
참고문헌 = 598
연습문제 해답 = 600
CHAPTER 17. 질의 최적화 = 605
17.1 소개 = 605
17.2 동기 예제 = 607
17.3 질의 과정의 개요 = 609
17.4 표현 변환 = 613
17.5 데이터베이스 통계 = 620
17.6 분할과 정복 전략 = 621
17.7 관계적 연산자의 구현 = 625
17.8 요약 = 631
연습문제 = 632
참고문헌 = 636
연습문제 해답 = 640
CHAPTER 18. 부재 정보(Missing Information) = 643
18.1 소개 = 643
18.2 3VL 접근방법에 대한 개요 = 645
18.3 이전 스킴의 몇 가지 영향 = 651
18.4 널과 키 = 655
18.5 외부 조인(outer join) = 658
18.6 특별한 값들 = 661
18.7 SQL 지원 = 662
18.8 요약 = 666
연습문제 = 668
참고문헌 = 671
연습문제 해답 = 673
CHAPTER 19. 타입 상속 = 675
19.1 소개 = 675
19.2 타입 계층 = 680
19.3 다형성과 대체성 = 684
19.4 변수와 할당 = 688
19.5 제약조건에 의한 상세화 = 693
19.6 비교 = 696
19.7 연산자, 버전 그리고 서명 = 701
19.8 원이 타원인가? = 705
19.9 다시 고찰해보는 제약조건에 의한 상세 = 710
19.10 요약 = 712
연습문제 = 714
참고문헌 = 716
연습문제 해답 = 717
CHAPTER 20. 분산 데이터베이스 = 719
20.1 소개 = 719
20.2 전제 조건 = 720
20.3 12개의 목표 = 724
20.4 분산 시스템의 문제들 = 733
20.5 클라이언트／서버 시스템 = 747
20.6 DBMS 독립성 = 751
20.7 SQL 지원 = 756
20.8 요약 = 757
연습문제 = 759
참고문헌 = 760
CHAPTER 21. 의사결정 지원 = 763
21.1 소개 = 763
21.2 의사결정 지원의 여러 측면 = 765
21.3 의사결정 지원을 위한 데이터베이스 걸계 = 768
21.4 데이터 준비(data preparation) = 777
21.5 데이터 웨어하우스와 데이터 마트 = 781
21.6 온라인 분석 프로세싱(online analytical processing) = 788
21.7 데이터 마이닝 = 796
21.8 요약 = 798
연습문제 = 800
참고문헌 = 802
연습문제 해답 = 804
CHAPTER 22. 시간 데이터베이스 = 805
22.1 소개 = 805
22.2 시간 데이터(temporal data) = 807
22.3 무엇이 문제인가? = 811
22.4 인터벌(intervals) = 818
22.5 인터벌 타입 = 820
22.6 인터벌에 대한 스칼라 연산자 = 824
22.7 인터벌에 대한 집계 연산자 = 825
22.8 인터벌을 포함하는 관계형 연산자 = 833
22.9 인터벌을 포함하는 제약조건 = 836
22.10 인터벌들을 포함하는 갱신 연산자들 = 836
22.11 데이터베이스 디자인에 관한 고려 = 838
22.12 요약 = 842
연습문제 = 844
참고문헌 = 845
연습문제 해답 = 846
CHAPTER 23. 논리에 기반한 데이터베이스 = 849
23.1 소개 = 849
23.2 개요 = 850
23.3 명제적 해석(propositional calculus) = 853
23.4 프레디키트 해석 = 859
23.5 데이터베이스의 증명 이론적 관점(proof-theoretical view) = 867
23.6 연역 데이터베이스 시스템 = 872
23.7 순환 질의 처리 = 878
23.8 요약 = 886
연습문제 = 889
참고문헌 = 891
연습문제 해답 = 894
PART 6. 객체와 객체／관계형 데이터베이스
CHAPTER 24. 객체 데이터베이스 = 901
24.1 소개 = 901
24.2 객체, 클래스, 메소드, 그리고 메시지 = 906
24.3 Closer look = 911
24.4 요람에서 무덤까지의 예(a cradle-to-grave example) = 920
24.5 잡다한 쟁점(miscellaneous issues) = 932
24.6 요약 = 942
연습문제 = 946
참고문헌 = 948
연습문제 해답 = 952
CHAPTER 25. 객체／관계형 데이터베이스 = 955
25.1 소개 = 955
25.2 첫 번째 큰 실수(the first great blunder) = 958
25.3 두 번째 큰 실수(the second great blunder) = 967
25.4 수행 논쟁점 = 969
25.5 전정한 접목의 이점 = 972
25.6 요약 = 974
참고문헌 = 975
APPENDIXES
Appendix A. SQL 표현식 = 979
A.1 소개 = 979
A.2 테이블 표현식 = 979
A.3 조건 표현식 = 987
A.4 스칼라 표현식 = 991
Appendix B. SQL3 개요 = 993
B.1 소개 = 993
B.2 새로운 데이터 타입 = 994
B.3 타입 상속 = 1000
B.4 참조 타입 = 1002
B.5 서브테이블과 수퍼테이블 = 1006
B.6 다른 특징들 = 1008
Appendix C. 약어 = 1013
찾아보기(한글) = 1019
찾아보기(영문) = 1027
찾아보기(저자) = 1031
