Abstrakt. Vi tar itu med problemet med minimal förändring av integriteten i samband med integritetsbegränsningar i relationsdatabaser. Med hjälp av det ramverk som föreslagits av Arenas, Bertossi och Chomicki [4] fokuserar vi på två grundläggande beräkningsfrågor: reparationskontroll (är en databas instans en reparation av en given databas?) och konsekvent frågesvar (är en tuple ett svar på en given fråga i varje reparation av en given databas?). Vi studerar den beräkningsmässiga komplexiteten av båda problemen och avgränsar gränsen mellan det dragbara och det svåråtkomliga. Vi granskar relevanta semantiska frågor och undersöker olika beräkningsmekanismer som föreslås i detta sammanhang. Vår analys kastar ljus över den beräkningsmässiga genomförbarheten av minimal förändring integritet underhåll. De vanliga fallen bör leda till praktiska genomföranden. De intractability resultaten belyser de inneboende begränsningarna i en mekanism för upprätthållande av integritet, t.ex., utlöser eller hänvisar till begränsningar, som ett sätt att utföra minimal förändring integritetsunderhåll.
Reparationskontrollteknik REF kan användas för att avgöra om en viss databas är en reparation av en annan.
On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases
{'venue': 'IN BERTOSSI ET AL', 'journal': None, 'mag_field_of_study': ['Computer Science']}