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: Requirements for update languages?

Re: Requirements for update languages?

From: Lauri Pietarinen <lauri.pietarinen_at_atbusiness.com>
Date: Thu, 14 Nov 2002 14:18:13 +0200
Message-ID: <3DD39485.FCC4BB82@atbusiness.com>


>Actually I think Paul was more asking the question whether everything can be
>done in pure FOL (or HOL, higher-order logics), and frankly I think the
>answer is yes. It is correct that doing aggregation is not trivial but also
>not mind-bogglingly difficult either, although it's a lot easier in HOL than
>In FOL.

So what is the conclusion? My understanding was that set theory is basis for all modern mathematics so how can something not be expressible with sets?

regards,
Lauri Pietarinen Received on Thu Nov 14 2002 - 06:18:13 CST

Original text of this message

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