RM VERY STRONG SUGGESTION 4: TRANSITION CONSTRAINTS

#41

On 10 sep, 21:48, Brian <br... (AT) selzer-software (DOT) com> wrote:

Quote:

So you agree that

relvar target> := <relation exp>;

and

DELETE <relvar target>, INSERT <relvar target> <relation exp>;

are the same?

snip>- Tekst uit oorspronkelijk bericht niet weergeven -

- Tekst uit oorspronkelijk bericht weergeven -

I just obtained a copy of Date's "Logic and Databases".

One of the introductory chapters is about "equality, equivalence and
identity". An example in that chapter discusses how "2x-1=x+4" and
"x=5" are not "the same", even though if the former is solved using
the usual rules of equation solving, you do obtain the latter as an
outcome.

'nuff said.

Thread Tools
Show Printable Version Email this Page
Display Modes
Linear Mode Switch to Hybrid Mode Switch to Threaded Mode

RM VERY STRONG SUGGESTION 4: TRANSITION CONSTRAINTS

comp.databases.theory comp.databases.theory

Re: RM VERY STRONG SUGGESTION 4: TRANSITION CONSTRAINTS - 09-15-2010 , 12:29 PM