Sciweavers

PEPM
1995
ACM

Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters

13 years 7 months ago
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate if-then-else. In this paper we apply this scheme to specialise integrity checking in deductive databases. We present an interpreter which can be used to check the integrity constraints in hierarchical deductive databases. This interpreter incorporates the knowledge that the integrity constraints were not violated prior to a given update and uses a technique to lift the ground representation to the non-ground one for resolution. By partially evaluating this meta-interpreter for certain transaction patterns we are able to obtain very efficient specialised update procedures, executing substantially faster than the original meta-interpreter. The partial evaluation scheme presented in [23] seems to be capable of automatically generating highly specialised update procedures for deductive databases.
Michael Leuschel, Danny De Schreye
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where PEPM
Authors Michael Leuschel, Danny De Schreye
Comments (0)