목차
역자서문 = ⅲ
서문 = ⅴ
1장 소개 = 1
1.1 현대 데이터베이스 시스템 : 트랜잭션, 객체, 그리고 규칙 = 3
1.2 IDEA 방법론의 구성 = 6
1.3 지식 독립성 = 9
1.4 모듈화, 유지보수 및 재사용 = 11
1.5 본 서의 구성 = 12
1.6 요약 = 13
1.7 참고문헌 노트 = 14
제Ⅰ편 모델과 언어
2장 객체 모델 = 21
2.1 객체와 클래스 = 22
2.2 일반화와 상속성 = 27
2.3 관련성 = 29
2.4 원본 무결성 제약조건 = 33
2.5 파생 개념 = 37
2.6 실제 스키마, 데이터베이스 스키마, 그리고 모듈화 = 38
2.7 예제 : 작업장 응용 = 39
2.8 요약 = 40
2.9 참고문헌 노트 = 41
3장 동적 모델 = 43
3.1 목표 상태차트 = 44
3.2 비목표적 상태차트 = 49
3.3 예제 : 재료 처리 시스템 = 52
3.4 요약 = 53
3.5 참고문헌 노트 = 54
4장 스키마 정의어 = 57
4.1 타입 = 57
4.2 클래스 = 60
4.3 일반화 계층구조 = 64
4.4 재정의와 우선 = 68
4.5 뷰 = 71
4.6 비목표적 제약조건 = 72
4.7 외부 공식과 프로시쥬어 = 72
4.8 요약 = 74
4.9 참고문헌 노트 = 74
5장 선언식과 절차식 = 77
5.1 선언식 = 78
5.2 질의 및 갱신 프리미티브 = 88
5.3 절차식 = 96
5.4 요약 = 100
5.5 참고문헌 노트 = 100
6장 규칙과 연산 = 103
6.1 연역 규칙 = 103
6.2 데이터 파생을 위한 연역 규칙 = 107
6.3 무결성 제약조건을 위한 연역 규칙 = 109
6.4 연산 = 115
6.5 능동 규칙 = 116
6.6 요약 = 124
6.7 참고문헌 노트 = 124
제Ⅱ편 분석
7장 분석 = 133
7.1 개략 분석 = 134
7.2 상세 분석 = 140
7.3 스키마 분석 = 142
7.4 지식 분석 = 151
7.5 응용 분석 = 164
7.6 통합과 검증 = 165
7.7 실행 예제 = 167
7.8 분석에서 품질 성취 = 185
7.9 요약 = 189
7.10 참고문헌 노트 = 190
제Ⅲ편 설계
8장 스키마 설계 = 203
8.1 타입 설계 = 203
8.2 클래스 설계 = 207
8.3 일반화 설계 = 210
8.4 관련성 설계 = 214
8.5 연산 설계 = 226
8.6 예제 = 230
8.7 스키마 설계에서 품질 성취 = 241
8.8 요약 = 243
8.9 참고문헌 노트 = 244
9장 연역 규칙 설계 = 247
9.1 연역 규칙의 소개 = 248
9.2 데이터 파생을 위한 규칙 = 252
9.3 고정 형식 무결성 제약조건 설계 = 261
9.4 원본 무결성 제약조건 설계 = 266
9.5 예제 = 270
9.6 연역 규칙 설계에서 품질 성취 = 275
9.7 요약 = 276
9.8 참고문헌 노트 = 277
10장 능동 규칙 설계 = 279
10.1 능동 규칙의 소개 = 279
10.2 능동 규칙에 의한 무결성 제약조건 관리 = 285
10.3 업무 규칙 설계 = 296
10.4 상태차트를 Chimera로 사상 = 299
10.5 예제 = 308
10.6 능동 규칙 설계에서 품질 성취 = 322
10.7 요약 = 324
10.8 참고문헌 노트 = 325
제Ⅳ편 프로토타이핑
11장 연역 규칙 프로토타이핑 = 333
11.1 정적 분석 = 334
11.2 동적 분석 = 344
11.3 실제 예제 = 354
11.4 요약 = 356
11.5 참고문헌 노트 = 357
12장 연역규칙을 능동규칙으로 번역 = 359
12.1 파생 데이터의 실체화 = 360
12.2 간단한 파생 데이터의 점진적 실체화 = 366
12.3 복합 파생 데이터의 점진적 실체화 = 373
12.4 실행 예제 = 383
12.5 요약 = 386
12.6 참고문헌 노트 = 386
13장 능동규칙 트로토타이핑 = 387
13.1 규칙 분석 = 388
13.2 능동 규칙의 모듈화 = 400
13.3 행위 계층화 = 402
13.4 단언 계층화 = 407
13.5 사건-기반 계층화 = 410
13.6 모듈화 메커니즘의 응용 = 412
13.7 실행 예제 = 416
13.8 능동 규칙 프로토타이핑에서 품질 성취 = 427
13.9 요약 = 427
13.10 참고문헌 노트 = 428
제Ⅴ편 구현
14장 Oracle 사상 = 435
14.1 Oracle 총괄 = 435
14.2 스키마 사상 = 441
14.3 선언식과 절차식의 사상 = 447
14.4 연산 사상 = 451
14.5 연역 규칙 사상 = 452
14.6 능동 규칙 사상 = 455
14.7 Oracle 사상의 요약 = 476
14.8 실행 예제 = 478
14.9 참고문헌 노트 = 490
15장 Illustra로 사상 = 491
15.1 Illustra로 총괄 = 491
15.2 스키마 사상 = 498
15.3 선언식과 절차식 사상 = 502
15.4 연역 규칙 사상 = 504
15.5 능동 규칙 사상 = 506
15.6 Illustra 사상의 요약 = 511
15.7 실행 예제 = 514
15.8 참고문헌 노트 = 524
16장 DB2 사상 = 525
16.1 DB2 총괄 = 525
16.2 스키마 사상 = 531
16.3 선언식과 연역 규칙 사상 = 534
16.4 능동 규칙 사상 = 536
16.5 DB2 사상의 요약 = 539
16.6 실행 예제 = 541
16.7 참고문헌 노트 = 550
17장 Validity로 사상 = 551
17.1 Validity 총괄 = 552
17.2 스키마 사상 = 561
17.3 선언식과 절차식의 사상 = 562
17.4 연산의 사상 = 565
17.5 연역 규칙의 사상 = 567
17.6 무결성 제약조건의 사상 = 568
17.7 Validity 사상의 요약 = 569
17.8 실행 예제 = 571
17.9 참고문헌 노트 = 575
18장 Ode로 사상 = 577
18.1 Ode 총괄 = 577
18.2 스키마 사상 = 583
18.3 선언식, 절차식, 그리고 연산 사상 = 584
18.4 연역 규칙의 사상 = 586
18.5 무결성 제약조건의 사상 = 588
18.6 능동 규칙의 사상 = 589
18.7 Ode 사상의 요약 = 595
18.8 실행 예제 = 598
18.9 참고문헌 노트 = 607
제Ⅵ편 IDEA 방법론 이론
19장 모듈화와 유지보수 = 611
19.1 대규모의 IDEA 방법론 = 612
19.2 스키마 및 규칙 통합 = 617
19.3 개념적 상호운영성 = 626
19.4 새로운 요구사항의 관리 = 627
19.5 참고문헌 노트 = 639
20장 데이터관리를 위한 고급구조 = 641
20.1 데이터베이스 관리를 위한 클라이언트-서버 구조 = 642
20.2 데이터베이스 서버의 구조 = 646
20.3 데이터베이스 관리를 위한 분산 구조 = 655
20.4 이질형 데이터베이스들간의 상호운영성 = 661
20.5 요약 = 667
20.6 참고문헌 노트 = 668
21장 IDEA프로젝트에서 설계도구 = 671
21.1 도구 환경의 구성 = 673
21.2 lade : IDEA 분석과 설계 환경 = 676
21.3 Argonaut : 능동 규칙 생성기 = 678
21.4 Ardche : Chimera를 위한 능동 규칙 분석기 = 681
21.5 Algres Testbed : Chimera를 위한 프로토타이핑 환경 = 685
21.6 Pandora : Oracle 응용을 유도하기 위한 강력한 보조 = 690
21.7 요약 = 691
21.8 참고문헌 노트 = 691
22장 다른 방법론들과 비교 = 693
22.1 OMT 총괄 = 693
22.2 Booch 방법의 총괄 = 697
22.3 Fusion 방법의 총괄 = 701
22.4 참고문헌 노트 = 704
부록 1 = 705
부록 2 = 713
부록 3 = 719
참고문헌 = 721
찾아보기 = 731
