Integritetsbegränsningar är användbara för specifikationen av avdragsdatabaser, liksom för induktiva och bortförande logiska program. Kontroll av integritet begränsningar vid uppdateringar är en stor effektivitet flaskhals och specialiserade metoder har utvecklats för att påskynda denna uppgift. De kan dock fortfarande ådra sig betydande omkostnader. I detta dokument föreslår vi en lösning på detta problem genom att använda partiell utvärdering för att förhandskompilera integritetskontroll för vissa uppdateringsmönster. Tanken är, att en hel del av integritetskontroll redan kan utföras med en uppdatering mönster utan att veta den faktiska, konkreta uppdateringen. För att uppnå förkompileringen skriver vi den specialiserade integritetskontrollen som metatolk i logisk programmering. Denna metatolk innehåller vetskapen om att integritetsbegränsningarna inte kränktes före en viss uppdatering och använder en teknik för att lyfta markrepresentationen till den icke-jordiska för upplösning. Genom att delvis utvärdera denna metatolk för vissa transaktionsmönster, med hjälp av en sofistikerad partiell utvärderingsteknik som presenterats i tidigare arbete, kan vi automatiskt få mycket effektiva specialiserade uppdateringsförfaranden, som till exempel utför betydligt snabbare än den ursprungliga metatolken. Abstract Integritet begränsningar är användbara för specification av deduktiva databaser, liksom för induktiva och bortförande logiska program. Kontroll av integritetsbegränsningar vid uppdateringar är en stor flaskhals för eektivitet och specialiserade metoder har utvecklats för att påskynda denna uppgift. De kan dock fortfarande ådra sig betydande omkostnader. I detta dokument föreslår vi en lösning på detta problem genom att använda partiell utvärdering för att förhandskompilera integritetskontroll för vissa uppdateringsmönster. Tanken är, att en hel del av integritetskontroll redan kan utföras med en uppdatering mönster utan att veta den faktiska, konkreta uppdateringen. För att uppnå förkompileringen skriver vi den specialiserade integritetskontrollen som metatolk i logisk programmering. Denna metatolk innehåller vetskapen om att integritetsbegränsningarna inte kränktes före en viss uppdatering och använder en teknik för att lyfta markrepresentationen till den icke-jordiska för upplösning. Genom att delvis utvärdera denna meta-tolk för vissa transaktionsmönster, med hjälp av en sofistikerad partiell utvärderingsteknik som presenterats i tidigare arbete, kan vi automatiskt få mycket e ektiva specialiserade uppdateringsförfaranden, exekvera, till exempel, betydligt snabbare än den ursprungliga meta-tolken.
I REF används en partiell utvärdering av en metatolk för att producera logiska program som motsvarar förenklade begränsningar.
Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters
{'venue': 'J. Log. Program.', 'journal': 'J. Log. Program.', 'mag_field_of_study': ['Computer Science']}