관계 해석 1. 튜플 관계 해석과 도메인 관계 해석이 있다. 2. 릴레이션을 정의하는 방법을 제공 3. 수학의 predicate calculus에 기반을 두고 있다. 4. 원하는 릴레이션에 대한 형태와 내용을 결정하는 조건들로 구성된 비절차적 언어이다 로킹 기법 : 주요 데이터의 액세스를 상호 배타적으로 한다 . 트랜잭션들이 어떤 로킹(locking) 단위를 액세스하기전에 lock(잠금)을 요청해서 lock이 허락 돼야만 그 로킹단위를 액세스할 수 있또록 한다 타임스탬프 기법 : 동시성 제어를 위한 직렬화 기법으로 프랜잭션 간의 순서를 미리 정하는 방법 검증 기법 : 병행수행하고자 하는 대부분의 트랜잭션이 읽기전용 트랜잭션일 경우 트랜잭션간의 충동률이 매우 낮아 동시성제어를 사용하지 않고 실행되어도 이 ..