indexing
     status: "See notice at end of class"
     date: "$Date$"
     revision: "$Revision$"
     product: eiffelstore
     database: all_bases

class interface
     DB_DATA

feature -- Status report

     metadata_to_update: BOOLEAN
                 -- Should cursor update the metadata to fill in database
                 -- values properly?
     
feature -- Status setting

     update_metadata
                 -- Cursor must update database metadata to
                 -- fill in properly.
     
invariant

           -- from ANY
     reflexive_equality: standard_is_equal (Current)
     reflexive_conformance: conforms_to (Current)

end -- class DB_DATA