Algebraic Modeling in Datalog

Introduction of an algebraic modeling language in Datalog for mixed-integer linear optimization models

Conrado Borraz-Sanchez, Diego Klabjan, Emir Pasalic, Molham Aref. 2018.

In Declarative Logic Programming: Theory, Systems, and Applications.

Datalog is a deductive language tailored for easy database access. We introduce an algebraic modeling language in Datalog for mixed-integer linear optimization models. By using this language, data can be easily queried from a database by means of Datalog and combined with models to produce problem instances readily available to solvers, providing an advantage over conventional optimization modeling languages that rely on reading data via plug-in tools or importing data from external sources via standard files.

Read the PDF: Algebraic Modelling in Datalog