Michael Leuschel, Danny De Schreye  Home/Search
Context Related
| cs.kuleuven.ac.be/pub/logic...cw237.ps cs.kuleuven.ac.be/publica...CW237.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kuleuven.ac.be/...abstracts.96 (more) From: cs.kuleuven.ac.be/public...CW1996 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 precompile the integrity checking for certain update patterns. The idea being, that... (Update)
Context of citations to this paper: More
.... specialised atoms have a common instance) correctness of the specialised program is guaranteed [39] Independence is usually (e.g. [16, 34, 35, 10]) ensured by a renaming transformation. Closedness is more di#cult to ensure, but can be satisfied using the following generic...
.... in general) has been applied to a lot of application domains, such as theorem proving (e.g. dG94] deductive databases (e.g. LD98] and compiler generation (e.g. JGS93] Perhaps the most noteworthy application domain of partial deduction is the specialisation of...
Cited by: More
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (Correct)
Homeomorphic Embedding for Online Termination - Leuschel (1998) (Correct)
Infinite State Model Checking using Partial Evaluation and.. - Leuschel (Correct)
Similar documents (at the sentence level):
39.9%: Creating Specialised Integrity Checks Through Partial.. - Leuschel, De Schreye (1998) (Correct)
12.9%: Towards Creating Specialised Integrity Checks Through.. - Leuschel, De Schreye (1995) (Correct)
Active bibliography (related documents): More All
2.2: Partial Deduction of the Ground Representation and its.. - Leuschel, Martens (1995) (Correct)
1.7: Generating Specialised Update Procedures Through Partial.. - Leuschel, Martens (1995) (Correct)
1.3: Constrained Partial Deduction and the Preservation of.. - Leuschel, De Schreye (1997) (Correct)
Similar documents based on text: More All
0.2: Some Achievements and Prospects in Partial Deduction - Leuschel, Martens, De Schreye (1998) (Correct)
0.2: Offline Integrity Checking of Untrusted Storage - Clarke, Gassend, Suh, van.. (Correct)
0.2: Logic Program Specialisation: How To Be More Specific - Leuschel, De Schreye (1996) (Correct)
Related documents from co-citation: More All
7: Controlling generalisation and polyvariance in partial deduction of normal logic.. - Leuschel, Martens et al. - 1996
6: The ecce partial deduction system and the dppd library of benchmarks (context) - Leuschel - 1996
6: Ensuring global termination of partial deduction while allowing flexible polyvar.. - Martens, Gallagher - 1995
BibTeX entry: (Update)
M. Leuschel and D. De Schreye. Creating specialised integrity checks through partial evaluation of meta-interpreters. The Journal of Logic Programming, 36(2):149--193, August 1998. http://citeseer.ist.psu.edu/article/leuschel98creating.html More
@article{ leuschel98creating,
author = "Michael Leuschel and Danny De Schreye",
title = "Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters",
journal = "Journal of Logic Programming",
volume = "36",
number = "2",
pages = "149-193",
year = "1998",
url = "citeseer.ist.psu.edu/article/leuschel98creating.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
179 The Godel Programming Language (context) - Hill, Lloyd - 1994
146 Introduction to logic programming (context) - Apt - 1990
112 Partial evaluation of a computation process --- an approach .. - Futamura - 1971
105 Making PROLOG more expressive (context) - Lloyd, Topor - 1984
82 Tutorial on specialisation of logic programs (context) - Gallagher - 1993
69 A tour of Schism: A partial evaluation system for higher-ord.. - Consel - 1993
48 A basis for deductive database systems (context) - Lloyd, Topor - 1985
48 A theorem-proving approach to database integrity (context) - Sadri, Kowalski - 1988
47 An Automatic Partial Evaluator for Full Prolog - Sahlin - 1991
46 Mixtus: An automatic partial evaluator for full Prolog (context) - Sahlin - 1993
45 the efficient computation of the difference between consecut.. (context) - Kuchenhoff - 1991
44 The derivation of an algorithm for program specialisation (context) - Gallagher, Bruynooghe - 1991
38 Loop checking in partial deduction (context) - Bol - 1993
38 A general criterion for avoiding infinite unfolding during p.. (context) - Bruynooghe, De Schreye et al. - 1992
34 The execution algorithm of Mercury: An efficient purely decl.. - Somogyi, Henderson et al. - 1996
33 Integrity enforcement on deductive databases (context) - Decker - 1986
32 The ecce partial deduction system and the dppd library of be.. (context) - Leuschel - 1996
32 Integrity verification in knowledge bases (context) - Bry, Manthey et al. - 1991
31 Partial evaluation of Prolog programs and its application to.. (context) - Takeuchi, Furukawa - 1986
30 A system for specialising logic programs - Gallagher - 1991
29 An introduction to partial deduction (context) - Komorowski - 1992
28 Logimix: A self-applicable partial evaluator for Prolog (context) - Mogensen, Bondorf - 1992
28 A Self-Applicable Partial Evaluator for the Logic Programmin.. (context) - Gurr - 1994
26 Why untyped non-ground meta-programming is not (context) - Martens, De Schreye - 1995
24 Language and equality theory in logic programming (context) - Shepherdson - 1991
24 an abductive procedure for normal abductive programs (context) - Denecker, De Schreye - 1992
23 Semantics preserving transformation rules for Prolog (context) - Proietti, Pettorossi - 1991
23 Sound and complete partial deduction with unfolding based on.. (context) - Martens, De Schreye et al. - 1994
21 Ecological partial deduction: Preserving characteristic tree.. - Leuschel - 1995
21 the Semantics of Meta-Programming and the Control of Partial.. (context) - Martens - 1994
21 Metainterpreters for expert system construction (context) - Sterling, Beer - 1989
19 Online partial deduction of large programs (context) - Prestwich - 1993
16 Logic program specialisation: How to be more specific - Leuschel, Schreye - 1996
16 the treatment of cuts in Prolog source-level tools (context) - O'Keefe - 1985
15 Automatic finite unfolding using well-founded measures (context) - Martens, De Schreye - 1996
14 Comparing and synthesizing integrity checking methods for de.. (context) - Celma, Garc'i et al. - 1994
14 Towards fast and declarative meta-programming (context) - Bowers, Gurr - 1995
13 A path finding method for constraint checking in deductive d.. (context) - Das, Williams - 1989
13 The PADDY partial deduction system - Prestwich - 1992
13 real thing (context) - Leuschel, of - 1994
13 Two semantics for definite meta-programs (context) - Martens, De Schreye - 1995
12 How to control unfolding when specializing interpreters (context) - Lakhotia, Sterling - 1990
12 An unfold rule for full Prolog (context) - Prestwich - 1992
12 Transformation of left terminating programs: The reordering .. (context) - Bossi, Cocco et al. - 1995
12 Towards creating specialised integrity checks through partia.. - Leuschel, De Schreye - 1995
11 A self-applicable partial evaluator and its use in increment.. (context) - Fujita, Furukawa - 1988
9 Specialising the ground representation in the logic programm.. (context) - Gurr - 1994
9 To be published in Handbook of Logic in Artificial Intellige.. (context) - Hill, Gallagher et al. - 1994
8 Journal of Logic and Computation (context) - Doets - 1993
7 A slick procedure for integrity checking in deductive databa.. (context) - Decker, Celma - 1994
7 A sensible least Herbrand semantics for untyped vanilla meta.. (context) - De Schreye, Martens - 1992
7 Prolog by BIM (context) - BIM - 1993
7 A Specification of an Abstract Prolog Machine and its Applic.. (context) - Komorowksi - 1981
7 Improving integrity constraint checking for stratified deduc.. (context) - Lee, Ling - 1994
7 Partial evaluation in Prolog: Some improvements about cut (context) - Bugliesi, Russo - 1989
6 A new method for integrity constraint checking in deductive .. (context) - Selj'ee - 1995
6 Integrity checking in stratified databases (context) - Lloyd, Sonenberg et al. - 1987
6 Technical Report Compulog II (context) - Martens, revisited et al. - 1994
6 On Futamura projections (context) - Ershov - 1982
6 Tutorial on deductive databases (context) - Bry, Manthey - 1990
6 Integrity checking in deductive databases --- the ultimate m.. (context) - Celma, Decker - 1994
6 Proving termination of Prolog programs: A semantic approach (context) - Baudinet - 1992
5 Substitution and refutation revisited (context) - Ko, Nadel - 1991
5 Self-applicable partial evaluation in Prolog (context) - Leuschel - 1993
4 A simple transformation from Prolog-written metalevel interp.. (context) - Neumann - 1991
4 Representing Godel object programs in Godel (context) - Bowers - 1992
3 Prototype partial evaluation system to obtain specialised in.. (context) - Leuschel - 1995
3 Partial deduction of updateable definite logic programs (context) - Benkerimi, Shepherdson - 1994
1 How to have your cake and eat it too: Self-applicable online.. (context) - Sperber - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kuleuven.ac.be/cwis/research/dtai/publications/abstracts.96.html): More
On The Relation Between Situation Calculus And Event.. - Van BELLEGHEM.. (1997) (Correct)
Live-structure Analysis for Logic Programming Languages with.. - Bruynooghe (1996) (Correct)
Inductive Database Design - Blockeel (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC