관계 모델에서의 무결성을 제약하는 방법으로, 기본키의 값은 널(Null)일 수 없다는 무결성 조건은?