LogicBlox academic collaborators Tom Schrijvers, Dario Campagna, and Beata Sarna-Starosta discuss a new technique of exploiting Datalog with aggregates...
Archive for category: Publications
Abstract Conceptual data models describe information systems without the burden of implementation details, and are increasingly used to generate...
One of the reasons why we believe in LogiQL as a programming language is its ability to support data...
More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets

Congratulations to LogicBlox team member Tuncay Tekle and academic collaborator Yanhong (Annie) Liu on the acceptance of their paper...
Taming the Wildcards: Combining Definition- and Use-Site Variance

While the focus of our language work at LogicBlox is on LogiQL, a declarative query language, we do, together...
Using Datalog for program analysis has garnered a lot of interest in the academic community in recent years. In...
Data provenance has important applications in databases, from optimization, to verifying trustworthiness of answers, to helping programmers with debugging....
The application of Datalog to the area of security, both in analysis and in the specification of rules, has...
The ability to write reusable code is important for all programming languages. LogicBlox is keen to support research in...
Automated Test Input Generation for Software That Consumes ORM Models

Abstract Software tools that analyze and generate code from ORM conceptual schemas are highly susceptible to feature interaction bugs....