사용자 요구사항 분석 => 개념적 데이터 모델링 => 논리적 데이터 모델링 => 물리적 데이터 모델링 => 내부 스키마
레코드의 유일성
레코드의 무순서성
컬럼의 무순서성
컴럼값의 원자성
유일성
최소성
슈퍼키: 유일성 만족
후보키: 유일성, 최소성 만족
기본키 (PK): 레코드의 구분을 위해 선택된 후보키
외래키 (FK): 참조된 다른 릴레이션의 기본키
영역 제약 조건 (domain constraints): 컴럼에 정의된 영역어 속한 타입으로만 컬럼값이 결정
키 제약조건 (key constraints): 키는 레코드를 고유하게 구별한다.
개체 무결성 (entity integrity constraints): 어떠한 기본키 값도 null 이 될 수 없음
참조 무결성 제약조건: 반드시 존재하는 레코드의 기본키만 참조
논리적 데이터 모델링의 필요
관계형 DBMS(RDBMS)의 구현 모델에 맞춰 데이터의 구조와 관계를 보여줄 필요
관계형 모델을 기반으로 구성된 릴레이션을 사용하여 새로운 릴레이션을 생성하는 표현
사용자의 관점에서 필요한 데이터를 릴레이션에서 추출하는 방법을 제공하는 도구
관계 대수 (relational algebra)
두 릴레이션에서 조건을 만족하는 레코드를 결합한 레코드로 구성된 릴레이션을 생성
카티시언 프로덕트 연산과, 셀렉트의 결합