Deconstructing Datalog
Summary
Deconstructing Datalog traces the author's PhD work on integrating Datalog's recursive queries with a typed functional language through Datafun, including fixed-point semantics, monotonicity in type systems, and incremental evaluation. The post outlines conceptual foundations, speed considerations for fixed-point computation, and acknowledges scholarly collaborators, linking to the dissertation and related resources.