영역 모델을 이용한 규칙 기반 데이타베이스 무결성 유지 시스템의 구현에 관한 연구