Concept

Datalog

Related lectures (4)

Explores Datalog evaluation, DSL embedding, semantics, fixpoint algorithms, and multi-stage programming.

Explores managing large codebases, higher abstraction levels, CodeDB, Datalog queries, and program analysis.

Explores challenges in code volume, complexity, and metaprogramming queries over code.

Explores optimizing recursive queries in database systems using Datalog and semirings, discussing the challenges and solutions in data analytics.