void mdb_time_format(resource db, string fmt)