This paper addresses the question of updating relational databases through XML views. Using query trees to capture the notions of selection, projection, nesting, grouping, and het...
Vanessa P. Braganholo, Susan B. Davidson, Carlos A...
Current object database management systems support user-defined conversion functions to update the database once the schema has been modified. Two main strategies are possible whe...
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to simplify the weakest precondition to produce a condi...