테이블 제약조건을 사용하여 하나의 테이블에 대해서 복잡한 제약조건을 명시할 수 있다. 해당 조건식을 check 절을 사용하여 명시할 수 있다. 일반적인 Create 명령은 튜플이 하나도 없다면 제약조건이 검사되지 않는다. 따라서, 튜플이 없을 때에도 제약조건을 검사하기 위해서 다른 방법이 필요한데, 이것인 assertion이다. 이 방법을 사용하면 테이블에 실제로 튜플이 하나도 존재하지 않는 경우라고 하더라도 해당 테이블의 제약조건을 검사할 수 있다.
Library/Database