널값과 비헤라드 안정 모델을 위한 관계 이론 변환

초록

본 논문은 Reiter식 널값을 허용하는 일반화 관계 이론을 논리 프로그램으로 변환하는 방법을 제시한다. 변환된 프로그램은 고유명칭 가정 없이 영역 폐쇄 가정 하에서 안정 모델을 계산할 수 있게 하며, 이를 통해 불완전 데이터베이스의 모델을 ASP(Answer Set Programming) 도구로 자동 생성한다.

상세 요약

이 논문은 두 가지 핵심 문제를 동시에 해결한다. 첫 번째는 널값을 포함하는 관계 이론, 즉 Reiter이 정의한 ‘null‑value relational theories’를 어떻게 형식화하고 의미론을 유지하면서 논리 프로그램으로 옮길 수 있는가이다. 기존의 관계 이론은 고유명칭 가정(Unique Name Assumption, UNA)을 전제로 하여 각 상수가 서로 다른 객체를 가리킨다고 가정한다. 그러나 널값이 도입되면 동일 객체를 가리키는 여러 상수가 존재할 수 있고, 이는 UNA와 충돌한다. 저자들은 이를 극복하기 위해 UNA를 포기하고, 대신 도메인 폐쇄 가정(Domain Closure Assumption, DCA)만을 유지한다. DCA는 해석의 도메인이 프로그램에 명시된 상수들의 집합으로 제한된다는 의미이며, 이는 ASP 시스템이 기본적으로 채택하고 있는 전제와 일치한다.

두 번째 문제는 DCA 하에서 안정 모델을 정의하고 계산하는 방법이다. 기존의 안정 모델 정의는 UNA를 전제로 하여, 서로 다른 상수가 서로 다른 해석상의 원소로 매핑된다는 전제에 의존한다. 저자들은 이 전제를 제거하고, 동일 상수가 동일 원소에 매핑될 수도 있음을 허용하는 ‘비헤라드 안정 모델(non‑Herbrand stable model)’ 개념을 도입한다. 이를 위해 먼저 일반적인 1차 논리 이론을 ‘클래스-조건’ 형태의 규칙 집합으로 변환하고, 각 규칙에 대해 ‘가능성’과 ‘필연성’을 구분하는 두 단계의 변환 절차를 설계한다. 첫 단계에서는 널값을 특별한 상수 ‘null’로 치환하고, 널값이 나타나는 원자에 대해 존재량화자를 도입해 “어떤 실제 객체가 존재한다”는 의미를 명시한다. 두 번째 단계에서는 이러한 존재량화자를 ASP의 선택 규칙(choice rule)과 제약(constraint)으로 변환한다. 결과적으로 얻어지는 프로그램은 기존의 ASP 엔진으로 바로 실행 가능하며, 해석은 DCA 하에서의 비헤라드 안정 모델과 일치한다.

핵심 기여는 다음과 같다. 첫째, 널값을 포함하는 관계 이론을 논리 프로그램으로 변환하는 일반적인 알고리즘을 제공한다. 둘째, UNA를 포기하고 DCA만을 가정한 새로운 안정 모델 정의를 제시함으로써, 기존 ASP 시스템이 다루지 못하던 불완전 데이터베이스 모델링 문제를 해결한다. 셋째, 변환 과정이 구성적으로 보존(conservative)임을 증명하여, 원 이론의 모든 모델이 변환된 프로그램의 안정 모델에 정확히 대응함을 보인다. 마지막으로, 변환된 프로그램을 실제 ASP 솔버(clingo 등)에 적용한 실험을 통해, 복잡한 널값 포함 쿼리와 무결성 제약을 효율적으로 처리할 수 있음을 입증한다. 이러한 결과는 데이터베이스 이론과 논리 프로그래밍 사이의 격차를 메우는 중요한 진전으로 평가될 수 있다.