7/30/02 dbh0201 Recoverable Storable Facility 1 The Recoverable Storable Facility A Mismatch Correction Mechanism for Handling Schema Evolution in an Eiffel.