En databasvy är en del av de uppgifter som är strukturerade på ett sätt som är lämpligt för en specifik applikation. Uppdateringar av vyer måste översättas till uppdateringar i den underliggande databasen. I detta dokument studeras översättningsprocessen i relationsmodellen. Förfarandet är följande: För det första definieras en "fullständig" uppsättning uppdateringar så att (i) tillsammans med varje uppdatering uppsättningen innehåller en "återvändande" uppdatering, det vill säga en som för vyn tillbaka till det ursprungliga tillståndet; (ii) givet två uppdateringar i uppsättningen, är deras sammansättning också i uppsättningen. För att översätta en komplett uppsättning, definierar vi en kartläggning som kallas en "translator", som associerar med varje vy uppdatera en unik databasuppdatering som kallas en "översättning". Begränsningen för en översättning är att ta databasen till en tillståndskartläggning till den uppdaterade vyn. Begränsningen för översättaren är att vara en morfism. Vi föreslår en metod för att definiera översättare. Tillsammans med den användardefinierade vyn definierar vi en "kompletterande" vy så att databasen kan beräknas utifrån vyn och dess komplement. Vi visar att en vy kan ha många olika komplement och att valet av ett komplement avgör en uppdateringspolitik. Således fixar vi ett vykomplement och vi definierar översättningen av en given vy uppdatering på ett sådant sätt att komplementet förblir invariant ("översättning under konstant cemplemen$"). Det huvudsakliga resultatet av tidningen anger att U, med tanke på en komplett uppsättning U-uppdateringar, har en översättare om och endast om U kan översättas under konstant komplement.
I Ref föreslogs en allmän syn på problemet med uppdatering av synen.
Update semantics of relational views
{'venue': 'TODS', 'journal': None, 'mag_field_of_study': ['Computer Science']}