Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters

@article{Leuschel1998CreatingSI,
  title={Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters},
  author={Michael Leuschel and Danny De Schreye},
  journal={J. Log. Program.},
  year={1998},
  volume={36},
  pages={149-193}
}
Integrity constraints are useful for the specification of deductive databases, as well as for inductive and abductive logic programs. Verifying integrity constraints upon updates is a major efficiency bottleneck and specialised methods have been developed to speedup this task. They can however still incur a considerable overhead. In this paper we propose a solution to this problem by using partial evaluation to pre-compile the integrity checking for certain update patterns. The idea being, that… CONTINUE READING
29 Citations
78 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 29 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 78 references

A new method for integrity constraint checking in deductive databases

  • R. Selj ee
  • Data & Knowledge Engineering,
  • 1995
Highly Influential
4 Excerpts

A system for specialising logic programs

  • J. Gallagher
  • Technical Report TR-91-32, University of Bristol…
  • 1991
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…