Skip to main content

Compiling deductive queries with the STARBASE compilation technique

Estrella Pulido, Compiling deductive queries with the STARBASE compilation technique. CSTR-95-014, Department of Computer Science, University of Bristol. June 1995. No electronic version available.

Abstract

This paper presents the STARBASE rule compiler, a new compilation technique for deductive queries. This compiler reorders the literals in the body of a rule and transforms each literal into a format suitable for the STARBASE evaluation algorithm, a new algorithm based on Chart Parsing. The main feature of the compiler is that the reordering of literals in the body of a rule guarantees that the next literal to be processed will be one of the most instantiated ones. This is an indispensable efficiency requirement and overcomes one of the weak points of existing optimization techniques.

Bibtex entry.

Publication Admin