Atomicity

• 각각의 transaction을 single unit으로 취급한다는 것.
• 만약 transaction이 하나라도 실패할경우 모든 transaction이 실패되고 database는 바뀌지 않는다.
• 모든 연산이 한번에 실행되는 것을 권장. → 어려운 문제..

Consistency

• valid state인 것들만 db에 transaction이 가능하다는 것.
• database에 기록되는 모든 데이터들은 반드시 정해진 규칙에 의해 작성되어야 한다(valid). constraint, cascade, trigger등등.
  • 즉, 모든 DB 테이블 내의 자료들은 항상 정해진 규칙에 맞춰 저장되어있어야 한다. 트랜잭션이 종료되는 시점에 일관성이 맞춰져 있어야 한다. 처리되는 중간에 일관성이 어긋나는 경우가 있다고 하더라도 끝나는 시점에는 반드시 맞아야한다.

Isolation

• 트랜잭션 도중에 다른 트랜잭션의 연산이 끼어들지 못하게 함.
• 성능과 tradeoff를 가짐.
• DB가 고립성이 높으면 높을수록 성능이 떨어지지만 데이터의 정합성이 떨어짐.
• Transaction은 주로 concurrent하게 실행됨. Isolation은 이 transaction이 연속적으로 실행될때 같은 state를 남김을 보장함.
• 단계가 존재. 이걸 목적에 맞게 적절하게 선택해야함.
  • 트랜잭션 고립화 수준

Durability

• transaction이 한번 commit되고나면 system failure가 발생하더라도 commit된 상태를 유지해준다는 의미. 보통 transaction이 완료되면 비휘발성 메모리에 저장된다는 것을 의미.

• 데이터를 튼튼하게 저장해준다.

• 로그에 남긴 뒤에 디스크에 저장하는 작업을 거치는데 로그에 저장은 되었으나 중간에 시스템에 문제가 생겨 디스크에는 저장이 안되는 상황이 생긴다?

  → 그다음 로그가 아무리 들어와도 디스크에 반영이 안됨. 앞에 있는 로그가 저장되지 않았으므로

  → 그러므로 로그가 다 저장이 되어야지만 데이터가 저장될 수 있도록. 로그가 디스크에 반드시 저장되도록 해줘야 함

  → 이게 durability의 일종.

Durability가 지켜지지 않는 예시

• A에서 B로 10을 옮긴다고 해보자. A에서 10을 지우고 B에 이를 더하면 유저는 트랜잭션이 성공했다고 한다. 하지만, 이 변화는 아직 디스크 버퍼에 있으며, 디스크에 커밋되기를 기다리는 상태. 이 상황에서 파워가 꺼지고 변화가 없어지면, 유저는 트랜잭션이 성공했다고 생각하고 자료가 유지된다고 생각하고 있지만 실제로는 올려지지 않은 상태가 됨.