Abstrakt. I dokumentet presenteras en deklarativ semantik för att upprätthålla integritetsbegränsningar som uttrycks genom produktionsregler. En produktionsregel är en speciell form av aktiv regel, kallad aktiv integritetsbegränsning, vars kropp innehåller en integritetsbegränsning (konjunktur av ordala som måste vara falska) och vars huvud innehåller en diskommunikation av uppdateringsatomer, d.v.s. Åtgärder som ska vidtas om motsvarande begränsningar inte uppfylls (dvs. är sanna). I tidningen introduceras i) en formell deklarativ semantik som möjliggör beräkning av grundreparationer, det vill säga reparationer vars handlingar specificeras och stöds av aktiv integritetsbegränsning, ii) en likvärdig semantik som erhålls genom att skriva om produktionsregler till disjunktiva logiska regler, så att reparationer kan härledas från svaren uppsättningar av logikprogrammet, iii) en karakterisering av produktionsregler som tillåter en metod för integritetsunderhåll.
Som framgår av REF kan ramverket användas som ett specialfall av formalismen av aktiva integritetsbegränsningar.
Declarative Semantics of Production Rules for Integrity Maintenance
{'venue': 'ICLP', 'journal': None, 'mag_field_of_study': ['Computer Science']}