Data in real world is not always complete. At the same time there are no
practical solutions for managing incompletely specified
databases.
We propose a model for efficient storage of incomplete information
that allows for fast evaluation of queries. We present a prototype
implementation for a data cleaning system that removes invalid worlds,
as well as experimental evaluation of our approach.