What should a database know?
Raymond Reiter · The Journal of Logic Programming · 1988
The by now conventional perspective on databases, especially deductive databases, is that they are sets of first order sentences. As such, they can be said to be claims about the truths of some external world, the database is a symbolic representation of that world.