Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic.
Robert Demolombe · 1999
this paper, is to consider the links between the database and the world. In many cases it is implicitly assumed that these links are on-to-one links, but in most real application that is just an ideal view, which is far to fit actual situation. Nevertheless, even if these one-to-one links are not guaranteed 1