Oracle FAQ | Your Portal to the Oracle Knowledge Grid |
Home -> Community -> Usenet -> comp.databases.theory -> Re: Pizza Example
Dan wrote:
> Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be> wrote in message news:<l5ifc.71570$MG1.4809827_at_phobos.telenet-ops.be>...
>
>>Eric Kaun wrote: >> >>>"Jan Hidders" <jan.hidders_at_REMOVETHIS.pandora.be> wrote in message >>>news:KVZec.70676$MG1.4809827_at_phobos.telenet-ops.be... >>> >>>>So, one would expect that the NEST and UNNEST operators of the nested >>>>relational algebra would not be allowed, wouldn't one? >>> >>>Do you mean GROUP? As far as I know, those are merely shorthand, not >>>something new. >> >>?? Are you saying that the GROUP / UNGROUP operators, as Date calls >>them, can be expressed with the operators of the flat relational algebra?
You go from first-order logic to higher-order logic, but in a very restricted way because all your sets are finite and typed (and therefore also finite in depth). Queries are still computable but can now be exponential, and deciding satisfiability was already gone in the flat relational model anyway. Note that you can always simulate this in the flat model by allowing abstract identifiers that denote the sets and a binary table that encodes the element-of relationship, plus a constraint that says that two set-identifiers are the same if they have exactly the same elements associated with them.