Sciweavers

1235 search results - page 3 / 247
» Updating a cracked database
Sort
View
VLDB
1994
ACM
96views Database» more  VLDB 1994»
13 years 10 months ago
Implementing Lazy Database Updates for an Object Database System
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...
Fabrizio Ferrandina, Thorsten Meyer, Roberto Zicar...
ADC
1993
Springer
108views Database» more  ADC 1993»
13 years 10 months ago
Using Weakest Preconditions to Simplify Integrity Constraint Checking
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...
Michael Lawley, Rodney W. Topor, Mark Wallace
ICDT
1992
ACM
84views Database» more  ICDT 1992»
13 years 10 months ago
Updating Atomic Information in Labelled Database Systems
Marcelo Finger, Dov M. Gabbay
ADBIS
2007
Springer
93views Database» more  ADBIS 2007»
13 years 10 months ago
Update Support for Database Views Via Cooperation
Stephen J. Hegner, Peggy Schmidt