MatBase에서 존재 및 비존재 제약 조건 적용하기

MatBase는 관계형 데이터 모델에서 정의된 존재 제약 조건과 이의 쌍대인 비존재 제약 조건을 제공하며, 이를 자동으로 적용하는 알고리즘을 구현하고 있다.