核心概念
DL∃!は、従来のデータログの制限を克服し、ツリー構造データの表現と処理を効率的に行うことを可能にする、ファーストクラスファクトを持つデータログ言語です。
要約
ファーストクラスファクトを持つデータログ:DL∃!
Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, and Kristopher Micinski. Datalog with First-Class Facts. PVLDB, 19(1): XXX-XXX, 2025. doi:XX.XX/XXX.XX
本稿では、従来のデータログでは扱いの難しかったツリー構造データを効率的に表現・処理できるよう、ファーストクラスファクトを持つ新しいデータログ言語DL∃!を提案しています。