注目★★★★★Lobsters
Datalogを関数型言語に統合するDatafun博士論文
30秒で把握
- 1DatalogをFixpoint演算子で関数型言語に統合するDatafunを提案
- 2型システムで単調性を追跡しDatalogの層別化条件を安全に再現
- 3Seminaïve反復で二次爆発を抑制し漸近効率を改善
要約
著者は2022年にDatalogを型付き関数型言語へ統合する手法を論じた博士論文「Deconstructing Datalog」を提出した。Datalogの再帰クエリを最小前置不動点演算子fixとして定式化し、述語・論理をセット・関数の世界に変換する枠組みをDatafunとして構築した。型システムで単調性を追跡することでDatalogの層別化条件を再現し、非単調な変数使用を安全に管理している。
あなたへの影響
Datalogや再帰クエリ最適化に興味があるエンジニアの参考になる。
推奨：論文は97ページと比較的コンパクトなため、関数型プログラミングや静的解析の設計に携わるチームは一読する程度でよい。