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
-
Strictly Declarative Specification of Sophisticated Points-to Analyses
Shan Shan Huang, , Publications, 0
Congratulations to LogicBlox team member Martin Bravenboer and academic collaborator Yannis Smaragdakis on their recent publication in OOPSLA 2009....
-
Experience Report: Using Tools and Domain Expertise to Remediate Architectural Violations in the LogicBlox Software Base
Shan Shan Huang, , Publications, 0
LogicBlox team members Kurt Stirewalt, Spencer Rugaber, David Zook, and collaborator Hwa-You Hsu wrote about their experience modeling software...
-
LogicBlox, Platform and Language: a Tutorial
Shan Shan Huang, , Publications, 0
Datalog is the mathematical foundation to LogiQL, the LogicBlox query language. We here take a keen interest in fostering...
-
SecureBlox: Customizable Secure Distributed Data Processing
Shan Shan Huang, , Publications, 0
The application of Datalog to the area of security, both in analysis and in the specification of rules, has...
-
Taming the Wildcards: Combining Definition- and Use-Site Variance
Shan Shan Huang, , Publications, 0
While the focus of our language work at LogicBlox is on LogiQL, a declarative query language, we do, together...
-
More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets
Shan Shan Huang, , Publications, 0
Congratulations to LogicBlox team member Tuncay Tekle and academic collaborator Yanhong (Annie) Liu on the acceptance of their paper...
-
ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution
Shan Shan Huang, , Publications, 0
Entity resolution — determining multiple distinct pieces of data as identifiers for the same real-world object — is a...
-
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,...