この論文では、ゲームの理論的観点からデータベースの起源の追跡を研究します。具体的には、否定を含むが再帰を含まない一次論理(FO)クエリの起源追跡をカバーします。クエリ評価を2つのプレイヤーゲームとしてモデル化し、どのタプルがクエリ結果に含まれるかを議論する方法で起源追跡を説明します。このゲームの理論的アプローチは、howとwhy-not起源の追跡を統合する自然な起源の追跡モデルを提供します。論文では、このゲーム起源の追跡の詳細な構造を研究し、ゲームの解決中に発生する7種類のエッジを識別し、潜在的、実用的、主要な起源追跡などの新しい種類の起源追跡を提示します。 「すべての動きが等しくない」ということを示し、新しい起源追跡タイプを説明し、計算方法を提示し、抽象的議論フレームワークなどのアプリケーションを議論します。