Froid: Optimization of Imperative Programs in a Relational Database [pdf]