LogicBlox, Platform and Language: A Tutorial

@inproceedings{Green2012LogicBloxPA,
  title={LogicBlox, Platform and Language: A Tutorial},
  author={Todd J. Green and M. Aref and G. Karvounarakis},
  booktitle={Datalog},
  year={2012}
}
The modern enterprise software stack--a collection of applications supporting bookkeeping, analytics, planning, and forecasting for enterprise data--is in danger of collapsing under its own weight. The task of building and maintaining enterprise software is tedious and laborious; applications are cumbersome for end-users; and adapting to new computing hardware and infrastructures is difficult. We believe that much of the complexity in today's architecture is accidental, rather than inherent… Expand
Extending Datalog with Analytics in LogicBlox
TLDR
Various extensions of Datalog are described for supporting prescriptive and predictive analytics, in the form of mathematical optimization, machine-learning capabilities, statistical relational models, and probabilistic programming. Expand
Laasie: Towards One-Size-Fits-All Database (OSFA) Architecture
TLDR
The thesis presents “Abstract Syntax Tree” (AST) as a database building block, which provides a simple rewrite-rule-based interface, which allows extremely fine grained control over a wide variety of database management design aspects, from layout and indexing, through client side caching behavior. Expand
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report
TLDR
This work reports on techniques that translate a Data log program to SQL queries, which are executed on a relational database system, which is effective use of memory and disks. Expand
with Monotonic Aggregates in DeALS
TLDR
This paper describes how DeALS extends their definitions and modifies their syntax to enable a concise expression of applications that, without them, could not be expressed in performance- conducive ways, or could not been expressed at all, and introduces novel implementation and optimization techniques that outperform conventional approaches, including Semi-naive evaluation. Expand
Scalable logic defined static analysis
TLDR
A novel evaluation technique that is predicated on the fact that in the case of static analysis, the logical specification is a design time artefact and hence does not change during evaluation is proposed, which enables a novel indexing optimisations that automatically selects an optimal set of indexes to speedup and minimise memory usage in the Datalog computation. Expand
Towards More Data-Aware Application Integration (extended version)
TLDR
The results of the runtime analysis show that table-centric processing is promising already in standard, "single- record" message routing and transformations, and can potentially excel the message throughput for "multi-record" table messages. Expand
Towards More Data-Aware Application Integration
TLDR
This work replaces the current operator implementations for the well-known Enterprise Integration Patterns by equivalent “in-memory” table processing, and shows a practical realization in a conventional integration system for a non-reliable, “data-intensive” messaging example. Expand
Bottom-Up Evaluation of Datalog: Preliminary Report
TLDR
This paper studies a method that immediately uses a derived tuple to derive more tuples (called the Push method), and finds that storage space for intermediate results can be reduced. Expand
A Declarative Language for Advanced Analytics and its Scalable Implementation
TLDR
This dissertation proposes an expressive Datalog language for advanced analytics, and compilation and optimization techniques for its efficient evaluation on systems designed for iterative execution, and designs and implements BigDatalog, a Datalogs system on Apache Spark for large-scale advanced analytics. Expand
Optimizing recursive queries with monotonic aggregates in DeALS
TLDR
This paper describes how DeALS extends their definitions and modifies their syntax to enable a concise expression of applications that, without them, could not be expressed in performance-conducive ways, or could not been expressed at all, and introduces novel implementation and optimization techniques that outperform traditional approaches, including Semi-naive evaluation. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 30 REFERENCES
Declarative Datalog Debugging for Mere Mortals
TLDR
A simple method for debugging and "logically profiling" P is proposed by generating a provenance-enriched rewriting P, which records rule firings according to the logical semantics. Expand
Dyna: Extending Datalog for Modern AI
TLDR
This work shows that a broad spectrum of AI algorithms can be concisely captured by writing down systems of equations in notation, and motivates certain extensions to Datalog, which are connected to functional and object-oriented programming paradigms. Expand
Strictly declarative specification of sophisticated points-to analyses
TLDR
The DOOP framework for points-to analysis of Java programs is presented, carrying the declarative approach further than past work by describing the full end-to-end analysis in Datalog and optimizing aggressively using a novel technique specifically targeting highly recursive Datalogy programs. Expand
Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base
TLDR
This paper reports the experience applying large refactoring to remediate an architectural violation in LogicBlox, a large, multi-language multi-platform system, and contributes a process forRefactoring that includes the generation of proto-interfaces and the explicit inclusion of expert review. Expand
Approximating Constraint Propagation in Datalog
TLDR
A technique exploiting Datalog with aggregates to improve the performance of programs with arithmetic (in)equalities by employing a source-to-source program transformation which approximates the propagation technique from Constraint Programming. Expand
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published something erroneous. Since some of our fellow sinners are among the mostExpand
Datalog Extensions for Database Queries and Updates
TLDR
Deterministic and non-deterministic extensions of Datalog with fixpoint semantics are proposed, and their expressive power characterized, to overcome the limited expressive power available with purely declarative semantics. Expand
Scalable analysis of conceptual data models
TLDR
This study extends ORM− with support for two of them: objectification and a restricted class of external uniqueness constraints, which significantly improve the ability to analyze the ORM models created by developers using the new tool. Expand
Computing with Logic : Logic Programming with Prolog
Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, Computing with Logic Logic Programming with Prolog (The Benjamin Cummings PublishingExpand
Computing with logic
This invaluable reference for Prolog users and programmers is a unique, self-contained introduction to the formal semantics of logic programming and automatic theorem proving. It provides programmersExpand
...
1
2
3
...