Partial Deduction of the Ground Representation and its Application to Integrity Checking

Partial Deduction of the Ground Representation and its Application to Integrity Checking (1995)

Cached

Download Links

[ftp.cs.kuleuven.ac.be]

Other Repositories/Bibliography

DBLP

by Michael Leuschel , Bern Martens

Venue:	Proceedings of ILPS'95, the International Logic Programming Symposium
Citations:	19 - 12 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Partial Deduction of the Ground Representation and its Application to Integrity Checking	user correction - Legacy Corrections
AUTHOR NAME	Michael Leuschel	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science, K.U. Leuven	SVM HeaderParse 0.2
AUTHOR ADDR	Celestijnenlaan 200A, B-3001 Heverlee, Belgium	SVM HeaderParse 0.1
AUTHOR NAME	Bern Martens	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science, K.U. Leuven	SVM HeaderParse 0.2
AUTHOR ADDR	Celestijnenlaan 200A, B-3001 Heverlee, Belgium	SVM HeaderParse 0.1
ABSTRACT	Integrity constraints are very useful in many contexts, such as, for example, deductive databases, abductive and inductive logic programming. However, fully testing the integrity constraints after each update or modification can be very expensive and methods have been developed which simplify the integrity constraints. In this paper, we pursue the goal of writing this simplification procedure as a meta-program in logic programming and then using partial deduction to obtain pre-compiled integrity checks for certain update patterns. We argue that the ground representation has to be used to write this metaprogram declaratively. We however also show that, contrary to what one might expect, current partial deduction techniques are then unable to specialise this meta-interpreter in an interesting way and no pre-compilation of integrity checks can be obtained. In fact, we show that partial deduction (alone) is not able to perform any (sophisticated) specialisation at the object-level for meta...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE	Proceedings of ILPS'95, the International Logic Programming Symposium	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	495--509	INFERENCE
TECH	Technical Report CW 210	INFERENCE
CITATIONS	46 found	ParsCit 1.0