Referensåtgärder är specialiserade utlösare som används för att automatiskt upprätthålla referensintegritet. Även om deras lokala beteende lätt kan förstås, är det långt ifrån klart vad den kombinerade effekten av en uppsättning referentiella handlingar, d.v.s., deras globala semantik bör vara. Till exempel kan olika exekutionsorder leda till tvetydigheter när det gäller att fastställa den slutliga uppsättningen uppdateringar som ska tillämpas. För att lösa dessa problem föreslår vi en abstrakt logisk ram för regelbaserat upprätthållande av referensintegritet: För det första identifierar vi önskvärda abstrakta egenskaper som tillåtlighet av uppdateringar som leder till en icke-konstruktiv global semantik av referensåtgärder. Vi får en konstruktiv definition genom att formalisera en uppsättning referensåtgärder RA som logiska regler, och visa att de förklarande semantikerna i det resulterande logiska programmet PRA fångar den avsedda abstrakta semantiken: Den välgrundade modellen av PRA ger en unik uppsättning uppdateringar, vilket är en säker, skeptisk approximation av uppsättningen av alla maximalt tillåtna uppdateringar; den thud sanning-värdet odefinierad tilldelas alla kontroversiaI uppdateringar. Slutligen visar vi hur man får en karakterisering av alla maximalt tillåtna delmängder av en given uppsättning uppdateringar med hjälp av vissa maximal stabila modeller.
Semantik av referensintegritet åtgärder fångas med hjälp av stabila modeller av logiska program med negation i REF.
Referential actions as logical rules
{'venue': "PODS '97", 'journal': None, 'mag_field_of_study': ['Computer Science']}