Datafun: A higher-order functional Datalog
"Datalog is declarative, optimizable, and relatively expressive. However, writing Datalog often involves repeating yourself; the restrictions that make Datalog practical also prevent ““higher-order”” idioms ─ for example, you cannot define a generic transitive closure operator. Datafun is a higher-order, typed functional language with Datalog-inspired semantics. In this talk, I’ll:
Explain what Datafun is and how to write Datalog-style programs in Datafun.
Give examples of Datafun’s increased expressivity.
Show how Datafun’s support for semilattice aggregations is a natural fit for program analysis.
Discuss why I think Datafun, although still in the design stage, has the potential to be implemented as efficiently as Datalog. In particular, we have recent work on generalizing seminaïve evaluation to Datafun."
Sun 23 Jun
|09:30 - 10:00|
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA
|10:00 - 10:30|
Christoph ReichenbachLund University
|10:30 - 11:00|
Michael ArntzeniusUniversity of Birmingham, UK