목차

관계모델

• 관계대수 - 절차적
• 관계해석 - 비절차적

품질 분석

• 정적 - 소스 코드 실행 없이
• 동적 - 소스 코드 실행

트랜잭션

• 종류 (원일독지, 지독한(원)일)
  • 원자성 - 트랜잭션이 모두 반영 / 비반영
  • 일관성 - 처리는 항상 일관성
  • 독립성 - 병행 실행 시 다른 연산에 끼어들 수 없음
  • 지속성 - 트랜잭션 성공 시 결과 영구적으로 반환