MIMSY: A SYSTEM FOR ANALYZING TIME SERIES DATA IN THE STOCK MARKET DOMAIN In this thesis I describe a real{world application built on top of the CORAL deductive database system. This application is meant to demonstrate the power of CORAL not only as a deductive database but also as a generic extensible database system. The application, Mimsy, is a stock market historical reporting system that c...

This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tableau system for role-based access control. The ACCLDS system overcomes some of the limitations of Massaci’s approach by combining its multi-modal propositional language with a labelling algebra that allows reasoning explic...

Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called compatible theory. Conversely, given a first-order theory, one may want to internalize it into a rewrite system that can be used in deduction modulo, in order to get an analytic deductive system for that theory. In a rec...

Recent graph-theoretic developments [26, 27] in the semantic theory of combination of logics look at a signature as a multi-graph (of sorts and connectives) and obtain the induced language as the category of multipaths where formulas appear as morphisms. This idea is carried over to Hilbert-style deductive systems by looking at an inference rule as a metaedge from its premises to its conclusion...

The semi-naive evaluation strategy is one of the most common optimization techniques for enhancing bottom-up evaluation in the eld of deductive databases. It is almost a must for a deductive database system to have this strategy implemented. F-logic is a powerful language combining the advantages of deductive databases with the rich modelling capabilities of object oriented concepts (objects, m...

DisLog is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all{result inference capabilities. Several basic operators are provided for logical and non{monotonic reasoning: The logical consequence operator derives all logically implie...