We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of
emerging application domains such as data integration, information extraction, networking …

In recent years, we have witnessed a revival of the use of recursive queries in a variety of
emerging application domains such as data integration and exchange, information …

Distributed programming has become a topic of widespread interest, and many
programmers now wrestle with tradeoffs between data consistency, availability and latency …

With the rise of social networks, large-scale graph analysis becomes increasingly important.
Because SQL lacks the expressiveness and performance needed for graph algorithms …

Answer-set programming (ASP) is a truly declarative programming paradigm proposed in
the area of non-monotonic reasoning and logic programming, which has been recently …

The modern enterprise software stack—a collection of applications supporting bookkee**,
analytics, planning, and forecasting for enterprise data—is in danger of collapsing under its …

Recent years have seen a resurgence of interest from both the industry and research
community in Datalog. Datalog is a declarative query language that extends relational …

Tracing why a “faulty” fact A is in the model M= P (I) of program P on input I quickly gets
tedious, even for small examples. We propose a simple method for debugging and “logically …

The use of logic in databases started in the late 1960s. In the early 1970s Codd formalized
databases in terms of the relational calculus and the relational algebra. A major influence on …

Modern parallelizing Datalog compilers are employed in industrial applications such as
networking and static program analysis. These applications regularly reason about …