Re: header part of the value?



Jan Hidders <hidders@xxxxxxxxx> wrote in
news:5dcfe1a9-3517-4315-8e27-cd7b5ba04674@xxxxxxxxxxxxxxxxxxxxxxxxxxxx:

On 28 feb, 18:08, "Yagotta B. Kidding" <y...@xxxxxxxxxx> wrote:
Jan Hidders <hidd...@xxxxxxxxx> wrote in
news:2c892007-19bb-45ce-b73c-
6cdc6c8de...@xxxxxxxxxxxxxxxxxxxxxxxxxxxx:

On 24 feb, 19:48, Marshall <marshall.spi...@xxxxxxxxx> wrote:
Consider the algorithm to perform a natural join on two
relation values. Just values: not tables in a database
with a known schema or whatever. Just two plain relation
values. The natural join specification *requires* the header;
it is defined (in part) in terms of the header. So the header
must be part of the value.

That is not correct. The natural join can be defined without
referring to the header.

Quite right.  The header can always be extracted from a tuple by a
simpl
e
function application:

tuple = {(x, 1), (y, 2)}; first_el(tuple) => {x, y}

That's not simple function application.

Why not ?


-- Jan Hidders


.



Relevant Pages

  • Re: header part of the value?
    ... Just two plain relation ... The natural join specification *requires* the header; ...
    (comp.databases.theory)
  • Re: header part of the value?
    ... with a known schema or whatever. ... Just two plain relation ... The natural join specification *requires* the header; ...
    (comp.databases.theory)
  • Re: cdt glossary - TABLE
    ... Jan Hidders wrote: ... >> You could say the table header is an set of column names. ... Paul. ... Prev by Date: ...
    (comp.databases.theory)
  • Re: cdt glossary - TABLE
    ... Jan Hidders wrote: ... A collection of columns (the table header) and rows. ... conforms to the table header. ... We should just aim to pinpoint some commonly occuring confusions so we can help avoiding them. ...
    (comp.databases.theory)