Towards a logical reconstruction of a theory for locally closed databases

  title={Towards a logical reconstruction of a theory for locally closed databases},
  author={Marc Denecker and Alvaro Cort{\'e}s-Calabuig and Maurice Bruynooghe and Ofer Arieli},
  journal={ACM Trans. Database Syst.},
The Closed World Assumption (CWA) on databases expresses the assumption that an atom not in the database is false. This assumption is applicable only in cases where the database has complete knowledge about the domain of discourse. In this article, we investigate locally closed databases, that is: databases that are sound but partially incomplete about their domain. Such databases consist of a standard database instance, augmented with a collection of Local Closed World Assumptions (LCWAs). A… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 15 extracted citations

Similar Papers

Loading similar papers…