Datalog is the mathematical foundation to LogiQL, the LogicBlox query language. We here take a keen interest in fostering...
Author Archive for: SSH
The provenance of data — how, through which relations and operations a piece of data arrived in a query’s...
LogicBlox academic collaborators Tom Schrijvers, Dario Campagna, and Beata Sarna-Starosta discuss a new technique of exploiting Datalog with aggregates...
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...
Congratulations to LogicBlox team member Tuncay Tekle and academic collaborator Yanhong (Annie) Liu on the acceptance of their paper...
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...