En relationsdatabas är inkonsekvent om den inte uppfyller en viss uppsättning integritetskrav. Det är dock troligt att de flesta uppgifterna i den överensstämmer med begränsningarna. I detta dokument tillämpar vi logikprogrammering baserad på svarsuppsättningar på problemet med att hämta konsekvent information från en eventuellt inkonsekvent databas. Eftersom konsekvent information kvarstår från den ursprungliga databasen till alla dess minimala reparationer, är metoden baserad på en specifikation av databasreparationer med disjunktiv logik program med undantag, vars svar semantik kan representeras och beräknas av system som genomför stabil modell semantik. Dessa program tillåter oss att deklarera uthållighet som standard och reparera förändringar av undantag. Vi koncentrerar oss främst på logiska program för binär integritet begränsningar, bland vilka vi hittar de flesta av integritet begränsningar som finns i praktiken.
ASP används också i REF för att hämta konsekvent information från inkonsekventa databaser med hjälp av omtvistade reparationer och undantag.
Answer Sets for Consistent Query Answering in Inconsistent Databases
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}