On closed world data bases

Open in new window