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 (opens in a new tab)
Rk-means: Fast Clustering for Relational Data
This RelationalAI Research paper introduces Rk-means, or relationalk-means algorithm, for clustering relational data tuples without having to access the full data matrix.
Defensive Points-To Analysis: Effective Soundness via Laziness
In this work, we present a more principled approach for identifying precision-critical methods, based on general patterns of value flows that explain where most of the imprecision arises in context-insensitive pointer analysis.