본 논문은 Datalog$^\neg$ (부정을 포함하는 Datalog)와 부울 네트워크 이론 간의 형식적 연결을 확립합니다. Datalog$^\neg$는 연역적 데이터베이스, 추상적 논증 프레임워크, Answer Set Programming 등 다양한 분야에서 사용되는 중심적인 형식체계이며, 그 모델 이론은 일반 논리 프로그램을 위한 논리적 의미론의 유한 대응체입니다. 논문에서는 부울 네트워크 이론의 기존 결과를 이용하여 Datalog$^\neg$ 프로그램에 홀수 사이클이 없으면 정규 모델이 안정 모델과 일치하며, 따라서 안정 모델이 존재함을 증명합니다. 또한, 짝수 사이클이 없으면 안정 부분 모델의 유일성을 보이고, 이는 정규 모델의 유일성을 의미함을 보입니다. You와 Yuan (1994)의 정규 모델에 대한 기존 주장의 문제점을 지적하고, 부정 일반 논리 프로그램에 대해 수정된 증명을 제시합니다. 마지막으로, 원자 의존성 그래프의 피드백 정점 집합의 크기를 이용하여 Datalog$^\neg$ 프로그램의 안정 부분 모델, 정규 모델, 안정 모델의 개수에 대한 상한을 제시하고, 부울 네트워크 이론과의 연결을 통해 Datalog$^\neg$ 프로그램에 대한 트랩 공간 개념을 제시하며, 지지된 또는 안정적인 트랩 공간을 Datalog$^\neg$의 다른 의미론과 관련짓고, 최소 안정 트랩 공간과 정규 모델의 동등성을 보입니다.
