A relational database is regarded as making a proposition about the world, called the database proposition.
The database proposition is defined to be the conjunction of the relvar propositions over the base relvars defined in the database schema.