Re: Very simple question to relational theorists.

Thank you Philip.

Once again to be clear.

"So if the wff R(A,B,...) denotes the predicate for R then the wff for R RENAME A TO N is R(N,B,...). If the wff S(X,Y,...,A,...) denotes the predicate for S then the wff for (R JOIN S) RENAME A TO N is R(N,B,...) AND S(X,Y,...,N,...). "

If a system calculates (X,Y,...,N,...) automatically (according to some predefined mnemonic rules) as (R JOIN S) RENAME A TO N is R(N,B,...), the system is not relational.

(Yes/No)?

But if a system allow the S relational to be calculated as the same as (R JOIN S) RENAME A TO N is R(N,B,...) by hand - the system is relational.

(Yes/No)?
Received on Tue Sep 11 2012 - 12:41:21 CEST