Problemet med att översätta vyuppdateringar till databasuppdateringar beaktas. Både databaser och vyer är modellerade som data abstractions. En dataabstraction består av en uppsättning tillstånd och en uppsättning primitiva uppdateringsoperatörer som representerar statsövergångsfunktioner. Det visas hur komplexa uppdateringsprogram kan byggas från primitiva uppdateringsoperatörer och hur vyuppdateringsprogram översätts till databasuppdateringsprogram. Särskild uppmärksamhet ägnas åt en klass av åsikter som vi kallar "konsistent". Löst taget är en konsekvent vy en vy med följande egenskap: Om effekten av ett vyuppdateringsprogram på ett vytillstånd bestäms, bestäms effekten av motsvarande databasuppdatering entydigt. För att kunna översätta en viss vy uppdatering till en databas uppdatering, är det därför tillräckligt att vara medveten om en funktionell specifikation av ett sådant program. Vi visar att konsekventa åsikter har ett antal intressanta egenskaper när det gäller samstämmigheten i (hög nivå) uppdateringstransaktioner. Dessutom visar vi att klassen av konsekventa vyer inkluderar som en undergrupp den klass av vyer som översätter uppdateringar under underhåll av ett konstant komplement. Vi visar dock att det finns konsekventa åsikter som inte översätts under konstant komplement. Resultaten av Bancilhon och Spyratos [6] är generaliserade för att fånga uppdatering semantik av hela klassen av konsekventa åsikter. I synnerhet visar vi att klassen av konsekventa åsikter uppnås om vi slappnar av kravet på ett konstant komplement genom att tillåta komplementet att minska i enlighet med en lämplig partiell ordning.
Gottlob, Paolini och Zicari REF utvidgar arbetet av Bancilhon och Spyratos till en klass av åsikter som de kallar konsekvent.
Properties and update semantics of consistent views
{'venue': 'TODS', 'journal': None, 'mag_field_of_study': ['Computer Science']}