[02. 데이터 입 출력] 관계대수 / 관계해석 / 트랜잭션

관계대수

• 절차적 언어
• 일반 집합 연산자
  • UNION : ∪
  • INTERSECTION : ∩
  • DEFFERENCE : -
  • CARTESIAN PRODUCT : x
• 순수 관계 연산자
  • select : 릴레이션에 존재하는 튜플중 선택 조건에 만족하는 튜플을 부분집합으로 만듬
  • project : 주어진 릴레이션에서 속성 list에 제시된 attribute만을 추출
  • join : 공통 속성을 중심으로 두개의 릴레이션을 하나로 합쳐서 새로운 릴레이션 만듬
  • division : R의 속성이 S의 속성값을 모두 가진 튜플에서 S가 가진 속성을 제외한 속성만을 구하는 연산

관계해석

• 튜플 관계 해석과 도메인 관계해석을 하는 비절차적 언어

트랜잭션

• Atomicity : 트랜잭션의 연산은 모두 실행되거나, 모두 실행되지 않아야함
• Consistency : 트랜잭션이 완료되면 언제나 일관성 있는 데이터상태여야함
• Isolation : 트랜잭션 수행시 다른 트랜잭션의 연산이 끼어들지 못하도록 보장
• Durability : 성공적으로 수행된 트랜잭션은 영원히 반영됨