Archive for the 'Logic and Data Bases by Gallaire and Minker' Category

The Closed World Assumption of Databases

“Deductive question-answering systems generally evaluate queries under one of two possible assumptions which we in this paper refer to as the open and closed world assumptions. The open world assumption corresponds to the usual first order approach to query evaluation: Given a data base DB and a query Q, the only answers to Q are [...]