Re: Guessing?

On May 28, 11:10 am, paul c <toledoby...@xxxxxxxx> wrote:
David BL wrote:
On May 28, 10:28 am, paul c <toledoby...@xxxxxxxx> wrote:
...
A DBMS implementation is not concerned with questions of existence.
Hmmm, Principle of Non-Existence?

I'm only suggesting that a DBMS implementation should respect the
possibility that intensional definitions are present.

Isn't it constraints that make intensions concrete?

An intensional definition of a base relvar may allow a user to fully
verify its extension recorded in the DB. This is a form of integrity
not normally captured by formal integrity constraints enforced by the
DBMS.

.