En osäker databas definieras som en relationsdatabas där primära nycklar inte behöver uppfyllas. En reparation (eller möjlig värld) av en sådan databas erhålls genom att välja ett maximalt antal tuples utan att någonsin välja två distinkta tuples med samma primära nyckelvärde. För en Boolesk fråga q, beslutsproblem VISSATY( q) tar som inmatning en osäker databas db och frågar om q är nöjd med varje reparation av db. Vårt huvudfokus är acykliska booleska konjunktiva frågor utan självupptagenhet. Tidigare arbete [24] har introducerat begreppet (direkt) attack graf av sådana frågor, och har visat att VISSATY (q) är första ordningen uttrycks om och endast om attack grafen av q är acyklisk. I det aktuella dokumentet undersöks gränsen mellan dragbarhet och intractability för VISSATY(q). Vi klassificerar först cykler i attackgrafer som antingen svaga eller starka, och sedan bevisa bland annat följande. Om attackkurvan för en fråga q innehåller en stark cykel, då VISSATY( q) är coNP-komplett. Om attackkurvan för q inte innehåller någon stark cykel och varje svag cykel är terminal (dvs. ingen kant leder från en vertex i cykeln till en vertex utanför cykeln), då VISSATY(q) är i P. Vi behandlar sedan delvis det enda återstående öppna fallet, dvs. när attackkurvan innehåller någon icke-terminalcykel och ingen stark cykel. Slutligen etablerar vi ett samband mellan komplexiteten i VISSATY(q) och utvärderingen av q i probabilistiska databaser.
Wijsen i REF diskuterar det exakta sambandet mellan komplexiteten i att utvärdera en fråga Q på en probabilistisk databas och VISSATY(Q).
Charting the tractability frontier of certain conjunctive query answering
{'venue': "PODS '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}