[데이터베이스 시스템] Relational Languages

 

 

⛅ Chapter 2 관계형 모델 소개 

Relational Terminology 정리

• Database: 고유한 이름을 가진 테이블/릴레이션의 모임
• Relation = table
  • schema: 논리적 설계 (메타 데이타, 데이터의 데이터), 변하지 않는다
  • instance: 데이터베이스에 저장되어 있는 데이터의 스냅샷, 자주 변한다.
• Attribute = Column = Field
• Tuple = Record = Row

 

책에서 사용하는 terminoloy 정리 - Relational Algebra (관계 대수)

관계 대수 연산

선택 연산(selection) = 그리스 소문자 시그마(σ)  // 참고로 시그마의 그리스 대문자는 ∑ 이다

추출 연산(project) = 그리스 대문자 파이(Π) 

• unary operation that returns its argument relation, with certain attributes left out

조인 연산(join) =  ⋈θ        // Natural join = ⋈  Theta join = ⋈θ

• 선택과 카티션 곱을 하나의 연산으로 합친 것
• r ⋈θ s = σθ(r × s) 
• σinstructor.ID=teaches.ID(instructor × teaches) 이건 instructor ⋈instructor.ID=teaches.ID teaches 이것과 동일하다

집합 연산(set)

• 합집합(union)  = ∪
  • ∧ : conjunction 기호이고 and 로 읽을 수 있다
  • 합집합 연산이 가능하려면, 1. 릴레이션 r과 s는 같은 수의 속성을 가져야 하며, 2. 릴레이션 r의 i번째 속성의 도메인과 릴레이션 s의 i번째 속성의 도메인은 서로 같아야 한다. 그리고 이러한 릴레이션을 호환 가능한 릴레이션(compatible relation)이라고 한다
  • 인수(arity) : 릴레이션에서 속성의 개수
• 교집합(intersection) = ∩
• 차집합(set-difference) = −

배정 연산(assignment) = ←

재명명 연산(rename) = 그리스 소문자 rho(ρ)

 

---

 

⛅ Chapter 3, 4, 5 SQL 

check 절

• check(p) 절은 릴레이션의 모든 튜플이 충족해야 하는 술어 P를 명시한다  
• 예를 들어, check (semester in ('Fall', 'Winter', 'Spring', 'Summer')) 이렇게 semester가 제시된 열거형 타입(enumerated type)을 정의하는 데 사용 될 수도 있다 

coalesce 함수

• 질의 결과에서 어떻게 null 값을 출력할지 선택할 수 있다
• 예) select ID, coalesce(salary, 0) as salary 는 급여가 null일 경우 0으로 표시한다
• coalesce 함수의 한계는 모든 인자가 동일한 타입이어야 한다

인덱스

• 데이터베이스에서 릴레이션 속성의 특정 값을 가지고 있는 튜플을 릴레이션의 모든 튜플을 살펴보지 않고도 효과적으로 찾을 수 있는 자료구조이다
• 중복 데이터 구조
• 데이터베이스의 논리 스키마가 아닌 물리 스키마의 일부이다

 

SQL 문 순서