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