A formal treatment of imperfect information in database management | lit.salon