Flera forskningsinriktningar inom området datahantering har fokuserat på att förstå hur förändringar i data påverkar utdata från en vy eller stående fråga. Exempel på program förklarar frågeresultat, sprider uppdateringar genom vyer och anonymiserar datauppsättningar. Dessa applikationer förlitar sig vanligtvis på att förstå hur interventioner i en databas påverkar resultatet av en fråga. En viktig aspekt av denna analys är problemet med att ta bort ett minsta antal tuples från inmatningstabellerna för att göra en given boolesk fråga falsk. Vi hänvisar till detta problem som "en frågas motståndskraft" och visar dess samband med de välstuderade problemen med radering av spridning och kausalt ansvar. I detta dokument studerar vi komplexiteten av motståndskraft för själv-join-fri konjunktiva frågor, och också göra flera bidrag till tidigare kända resultat för problemen med radering spridning med källbiverkningar och orsakssamband ansvar: (1) Vi definierar begreppet motståndskraft och ger en komplett dikotomi för klassen av själv-join-fri konjunktiva frågor med godtyckliga funktionella beroenden; denna dikotomi också utökar och generaliserar tidigare dragbarhet resultat för radering spridning med källbiverkningar. (2) Vi formaliserar sambandet mellan motståndskraft och kausalt ansvar, och visar att motståndskraft har en större klass av dragbara frågor än ansvar. (3) Vi identifierar ett misstag i en tidigare dikotomi för problemet med orsakssamband och erbjuder en reviderad karakterisering baserad på nya, enklare och mer intuitiva föreställningar. (4) Slutligen utvidgar vi dikotomi för orsakssamband på två sätt: a) vi behandlar fall där indatatabellerna innehåller funktionella beroenden, och b) vi beräknar ansvar för en uppsättning tuples som anges via jokertecken.
I tidigare arbete REF identifierade vi begreppet triad, en ny struktur som gjorde det möjligt för oss att fullt ut karakterisera komplexiteten i motståndskraft (och följaktligen för radering förökning) för klassen själv-join-fri konjunktiva frågor med potentiella funktionella beroenden.
A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive Queries
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}