LogicBlox academic collaborators Tom Schrijvers, Dario Campagna, and Beata Sarna-Starosta discuss a new technique of exploiting Datalog with aggregates to improve the performance of programs with arithmetic (in)equalities. This approach employs a source-to-source program transformation which approximates the propagation technique from Constraint Programming. The experimental evaluation of the approach shows good run time speed-ups on a range of non-recursive as well as recursive programs. Furthermore, this technique improves upon the previously reported in the literature constraint magic set transformation approach.
Approximating Constraint Propagation in Datalog
-
Win-move is Coordination Free… Sometimes
Shan Shan Huang, , Publications, 0
Coordination barriers are a major source of inefficiency in distributed query evaluation. Identifying queries that can be evaluated in...
-
Simulation of Database-valued Markov Chains Using SimSQL
Shan Shan Huang, , Publications, 0
Congratulations to LogicBlox team member Zografoula Vagena on her recent publication in SIGMOD 2013, the premier international conference in...
-
Structural Aspects of Data Modeling Languages
Shan Shan Huang, , Publications, 0
One of the reasons why we believe in LogiQL as a programming language is its ability to support data...
-
Morphing: Structurally Shaping a Class by Reflecting on Others
Shan Shan Huang, , Publications, 0
The ability to write reusable code is important for all programming languages. LogicBlox is keen to support research in...
-
Design and Implementation of the LogicBlox System
Shan Shan Huang, , Publications, 0
An overview of the design considerations, novel implementation techniques, and applications of the LogicBlox system has been published in...
-
Exception Analysis and Points-to Analysis: Better Together
Shan Shan Huang, , Publications, 0
In this ISSTA 2009 publication, LogicBlox team member Martin Bravenboer and academic collaborator Yannis Smaragdakis write about how Doop,...
-
Querying Data Provenance
Shan Shan Huang, , Publications, 0
Data provenance has important applications in databases, from optimization, to verifying trustworthiness of answers, to helping programmers with debugging....
-
Leapfrog Triejoin: A Worst-case Optimal Join Algorithm
Shan Shan Huang, , Publications, 0
We recently had occasion to study and admire the join algorithm of Ngo, Porat, Ré and Rudraa (henceforth NPRR)....