관계형 무결성 제약 조건들

[ 키 제약 조건 ]

▪ R의 슈퍼키

  - 릴레이션 스키마 R의 릴레이션 상태 r의 어떠한 두 투플도 서로 다른 값들을 갖는 애트리뷰 트들의 부분집힙 SK

  - 슈퍼키 SK는 R의 상태 r에서 SK가 같은 값을 가지는 서로 다른 투플이 존재하지 않는 다는 유일성 제약조건을 명시한다.

▪ R의 후보키

  - 서로다른 두 투플은 동일한 키 애트리뷰트값을 가질 수 없다.

  - 최소의 슈퍼키 이다. 즉, 슈퍼키 내의 어떤 애트리뷰트도 제거하게 되면 첫 번째 조건을 만 족할 수 없게 된다.

  - 여러 개의 후보키를 가질 때 기본키를 임의로 선택할 수 있다 다른 후보키들을 유일키로 지 정되며 밑줄은 긋지 않는다.

 

[ 엔티티 무결성 제약조건 ]

▪ 관계 데이터베이스 스키마

  - S는 릴레이션 스키마들의 집합 S과 무결성 제약조건들의 집합 IC 이다.

  - 묵시적으로 그것의 스키마와 현재의 상태를 모두 포함한다.

  - 무결성 제약조건을 준수하지 않는 데이터베이스 상태를 유효하지 않은 상태라 부르고, 모든 무결성 제 약조건을 준수하는 데이터베이스 상태를 유효한 상태라고 부른다.

  - 데이터 베이스 스키마에 명시하며 그 스키마의 모든 데이터베이스 상태가 이를 만족해야 한다. 관계 모델에는 도메인 제약 조건과 키 제약조건, 그리고 NOT NULL 제약조건 이외에 엔티티 무결성 제약조건 과 참조 무결성 제약조건이라는 두개의 제약이 더 있다.

▪ 엔티티 무결성

  - 어떠한 기본키값도 널값이 될 수 없다는 것이다. 기본키값은 한 릴레이션 내의 각 토플을 식별하는 데 사용되는데 기본키값이 널 값이면 투플을 식 별할 수가 없기 때문이다.

  - 참조 무결성 

 

[ 참조 무결성 제약조건 ]

▪ 키 제약조건과 엔티티 무결성 제약조건은 각 릴레이션에 명시되는 조건인 데 반해서 참조 무결성 제약 조건은 두 릴레이션 사이에 명시되는 제약조건이며, 두 릴레이션의 투플들 사이의 일관성을 유지하는데 사용된다.

▪ 외래키

  - FK의 애트리뷰트는 R2의 기본키 PK의 애트리뷰트와 동일한 도메인을 가진다. 이때 FK는 릴레이션 R2를 참조한다고 말한다.

  - 현재 상태 r1(R1)의 한 투플 t1내의 FK값은 현재 상태 r2(R2)의 어떤 투플 t2내의 PK값과 일치하 거나 널값을 가져야 한다. 전자의 경우에는 t1[FK]=t2[PK]이고 투플 t1이 투플 t2를 참조한다고 말한다.

  - 도식적으로 표현이 가능하며 명백하게 하기 위하여, 참조되는 릴레이션의 기본키를 화살표의 머리 가 가르키도록 한다.

 

댓글이나 공감 남겨주는 사람 착한사람