On closed world data bases