Recent research has explored using Datalog-based languages to express a distributed
system as a set of logical invariants. Two properties of distributed systems proved difficult to …

This chapter is a survey of the history and the main concepts of Datalog. We begin with an
introduction to the language and its use for database definition and querying. We then look …

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 …

In recent years, much work has been directed towards evaluating logic programs and
queries on deductive databases by using an iterative bottom-up fixpoint computation. The …

A logic-based approach to the specification of active database functionality is presented
which not only endows active databases with a well-defined and well-understood formal …

Zusammenfassung F-Logik [17] ist eine mächtige Sprache, die deduktive und
objektorientierte Konzepte (Objekte, Methoden, Klassenhierarchie, Vererbung, Signaturen) …

In this paper, we develop a new approach that provides a smooth integration of extensional
updates and declarative query languages for deductive databases. The approach is based …

Distributed systems are difficult to reason about and program because of fundamental
uncertainty in their executions, arising from sources of nondeterminism such as asynchrony …

In 1965, William M. McKeeman introduced the concept of peephole optimization. This article
provides a brief review of the major peephole optimization techniques identified so far and …

Knowledge Base Systems are an integration of conventional database systems with Artificial
Intelligence techniques. They provide inference capabilities to the database system by …