본 논문은 데이터베이스의 기원 추적(provenance)을 게임 이론적 관점에서 연구합니다. 특히, 부정을 포함하지만 재귀를 포함하지 않는 일차 논리(FO) 쿼리에 대한 기원 추적을 다룹니다. 쿼리 평가를 두 플레이어 게임으로 모델링하여, 어떤 튜플이 쿼리 결과에 포함되는지 여부를 논쟁하는 방식으로 기원 추적을 설명합니다. 이 게임 이론적 접근 방식은 how 및 why-not 기원 추적을 통합하는 자연스러운 기원 추적 모델을 제공합니다. 논문에서는 이 게임 기원 추적의 세부 구조를 연구하며, 게임의 해결 과정에서 발생하는 일곱 가지 유형의 에지(edge)를 식별하여 잠재적, 실제적, 주요 기원 추적 등 새로운 유형의 기원 추적을 제시합니다. "모든 이동이 동등하지 않다"는 점을 보여주고, 새로운 기원 추적 유형을 설명하고 계산 방법을 제시하며, 추상적 논증 프레임워크와 같은 응용 분야를 논의합니다.
