LPs for the paper Self-Driving Database Systems: A Conceptual Approach - View it on GitHub