Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: terminology

Re: terminology

From: Cimode <cimode_at_hotmail.com>
Date: 18 Jun 2006 12:42:37 -0700
Message-ID: <1150659757.009289.179820@c74g2000cwc.googlegroups.com>

Marshall wrote:
> [First of all, I assume "r.t." means "relational theory" and "fopl"
> is "first order predicate logic." Correct me if I guessed wrong.]
>
> Certainly there are different contexts in which the term "variable"
> is used, and across those different contexts there may be
> incompatible meanings. I was speaking of the programming
> languages theory ("PLT") context. So I am speaking of regular
> data variables, rather than logic variables--they are quite
> different.

An integer is an integer whether you speak of Math, of PL or whatever...
An arythmetic operation is an arithmetic operation regardless of field of application
RM is pure math applied and what you state is that the application redefines the fundamental concepts...

> Thanks for pointing out that distinction.
>
>
> Marshall
Received on Sun Jun 18 2006 - 14:42:37 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US