This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

CORAL is a modular declarative query language/programming language that supports
general Horn clauses with complex terms, set-grou**, aggregation, negation, and …

The problem of allowing non-monotonic constructs, such as negation and aggregates, in
recursive programs represents a difficult challenge faced by current research in deductive …

This paper describes the [Lscr][Dscr][Lscr]++ system and the research advances that have
enabled its design and development. We begin by discussing the new nonmonotonic and …

We solve the problem of obtaining answers to queries posed to a mediated integration
system under the local-as-view paradigm that are consistent wrt to certain global integrity …

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

Supporting aggregates in recursive logic rules represents a very important problem for
Datalog. To solve this problem, we propose a simple extension, called Datalog …

CORAL is a deductive system that supports a rich declarative language, and an interface to
C++, which allows for a combination of declarative and imperative programming. A CORAL …

These two rule-oriented paradigms of databases have been the focus of extensive research
and are now coming of age in the commercial DBMS world. However, the systems …

This is the companion paper of a talk in the Gems of PODS series, that reviews the
development, starting at PODS 1988, of a family of Datalog-like languages with procedural …