Att stödja äldre tillämpningar när databasschemat utvecklas innebär en långvarig utmaning av praktisk och teoretisk betydelse. Det senaste arbetet har producerat algoritmer och system som automatiserar processen för datamigrering och frågeanpassning, men problemen med att utveckla integritetsbegränsningar och stödja äldre uppdateringar under schema och integritetsbegränsningar evolution är betydligt svårare och har hittills förblivit olösta. I detta dokument tar vi upp denna fråga genom att införa en formell utvecklingsmodell för databasen schema struktur och dess integritet begränsningar, och använda den för att härleda uppdatera kartering tekniker som liknar omskrivning tekniker som används för frågor. Därför föreslår vi (i) en ny uppsättning integritetsbegränsningar Modifiering Operatörer (ICMOs), (ii) karakteriserar inverkan på integritet begränsningar av strukturella schema förändringar, (iii) utforma representationer som möjliggör omskrivning av uppdateringar, och (iv) utveckla en enhetlig strategi för förfrågan och uppdatera omskrivning under begränsningar. Vi beskriver sedan genomförandet av dessa tekniker som tillhandahålls av vårt PRISM++-system. PRISM++ och dess möjliggörande teknik har verifierats på en testbädd som innehåller evolutionshistoriker från flera vetenskapliga databaser och webbinformationssystem, inklusive den genetiska DB Ensembl (410+ schemaversioner på 9 år) och Wikipedia (240+ schemaversioner på 6 år).
Senare utökade författarna det till PRISM++, vilket inkluderar ändring av begränsningar och uppdatering omskrivning REF.
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++
{'venue': 'PVLDB', 'journal': 'PVLDB', 'mag_field_of_study': ['Computer Science']}