관계해석 1. 수학의 프레디킷 해석에 기반을 두고 있다. 2. 관계 데이터 모델의 제안자인 코드가 관계 데이터베이스에 적용할 수 있도록 설계하여 제안하였다 3. 튜플 관계해석과 도메인 관계해석이 있다. 4. 비절차적 특성을 지닌다 2단계 로킹 규약의 정의 및 특징 1. 기본 락킹 기법의 문제점을 해결 2. 모든 트랜잭션들이 Lock과 Unlock 연산을 2단계로 구분하여 실행 3. 직렬 가능성을 보장하는 규약이나 데드락을 예방할 수 없다 4. 기본 로킹 규약의 문제를 해결하고 트랜잭션의 직렬 가능성을 보장하기 위해 lock과 unlock 연산의 수행 시점에 대한 새로운 규약을 추가한 것 5. 확장 단계 : 트랜잭션이 lock연산만 실행할 수 있고, unlock 연산은 실행할 수 없는 단계 6. 축소 단계..