header part of the value?

Occasionally the question has come up as to whether a
relation value is the body, or the body+the header. In the past
I've sided with the just-the-body approach, but today I decided
that I don't think that anymore.

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.

Of course, that then leads me to think of a relation value
as a <header, body> tuple. (Let us omit column type
information for the present discussion.) Then one imagines
an updatable relation variable in a database as holding
a value of this tuple type. BUT then we notice that we
have this restriction that the header must not be updated.
Why is that?

Certainly in practice this is the sort of thing that would
be almost universally a good idea. But what theoretical
basis does it have? I can think of none. So I propose,
for your amusement, the mental model that a relation
variable is merely a simple binding from a name to a
<header, body> relation value, period, full stop. Also,
*customarily* the variable has the update constraint
that old.header = new.header.


Marshall
.

Relevant Pages

  • Re: $_GET, MySQL, query variable
    ... if the database holds ids 1-30 and the user enters ... Check if you got the id sent, if not redirect with a header to another page ... PHP parser when we can use fast pure html? ...
    (alt.php)
  • Re: databases
    ... because i only know how to store text in the database. ... which command should i use (php) in order to retrieve these ... according to file extension and making the above header() call relative to ...
    (comp.lang.php)
  • Re: Passing database info into URL
    ... Because I want the header, the footer, the navigation to remain the ... Code to fetch data from database based on the id ... Page header information ...
    (comp.lang.php)
  • Re: STL, Priority Queues, Help and Assitance.
    ... It's defined in another header that I have available, ... > Creating a file-based database is not an easy task, ... I realize it's not an easy task, however, I am determined to do it. ... > Bart v Ingen Schenau ...
    (alt.comp.lang.learn.c-cpp)
  • Re: Need to import non-relational data into a database, and produce reports based on it.
    ... Header and detail records predominate. ... We don't care what happens behind the scenes, the database will ... but still see quite a bit of data with header and detail records. ... We will always need to process data that are not organized in a ...
    (comp.lang.cobol)