Re: Does Codd's view of a relational database differ from that ofDate&Darwin?[M.Gittens]
Date: 16 Jun 2005 09:18:21 -0700
Message-ID: <1118938701.624118.142180_at_g49g2000cwa.googlegroups.com>
Alexandr Savinov wrote:
> VC schrieb:
> > "Alexandr Savinov" <savinov_at_host.com> wrote in message
> >>Yes, we need to add more information into our model so that the database
> >>knows what to do if queries do not have enough information. In other
> >>words, the model has more information while queries are simpler.
> >>
> >
> >
> > Please explain what exactly you mean by the expression "the database knows
> > what to do if the queries do not have enough information". 'Knows' in what
> > sense ? As an AI specimen or in some other sense ? Also please give some
> > specific examples of those queries illustrating your statement.
>
> I feel that even if I answer you will still be unsatisfied. Here is one
> posssible concrete answer. My database needs to be able to answer the
> question: "retrieve(Employees) where Manager='Jones'. For this query to
> execute the database has to know more about relationships between data
> items and data semantics.
I hope you know that in a relational database both the query
formulation and the answer are trivial.
> tables - it is hierarchically and multidimensionally ordered tables (I
> write in terms of RM).
You cannot be possibly writing "in terms of RM" because what you are
describing ain't relational ("hierarchically and multidimensionally
ordered tables").
> collection and a lattice?
Please do before we investigate a more complex issue of the database
"knowing".
> >>[...] Semantics can be defined as both constraints with data or only data.
> >
> >
> > No, it cannot. In your private vocabulary maybe.
>
> If you look at different papers then you can easily find different
> definitions and/or interpretations.
One can loosely/informally say that "database semantics" for the
relational model is the databases RVs (not some vague "data") *and*
constraints.
> program is a kind of term that is overloaded and needs to be defined
> concretely for each new theory or its variation. Or you have an ultimate
> and final definition of the term "semantics"?
>
> >>function applied to a set. It is more general - strictly speaking we can
> >>aggregate (project) everything and deproject everything.
> >
> >
> > What's 'project' and 'deproject' supposed to mean ?
>
> Sorry, but I am not able to describe it formally in the format if forum
> for obvious reasons. Informally, if you have hierarchical dimensions
> then you can propagate avialable information (data items) or
> constraints upward or downward.
It appears you are talking here about a multidimensional model and its
constraint implementation. Am I right ? If not, how do you
'propagate constraints' in the relational model ? Could you give a
for-example ?
> > Also, you still did not answer how the notion of 'singularity' and
> > 'delta-function' is related to nulls. Eagerly awaiting.
>
> As far as I remember I explained that. Here is that definition again:
> - a value (a variable taking a value) = a possiblity distribution which
> is equal 0 (impossible) everywhere except for one point.
I am confused. How a value can be a function ? A value of a certain type, say integer, is a member of the set of integers. Now, as you know, a function is a a mapping between sets. So how can you say that a value is a function ? Are you using a theory where the function is a more primitive notion than an element of a set ? Please explain.
[...skipped...]
> The term delta-function and singularity are used to denote a function
> that is 0 everywhere except for one point (and the integral is 1 if you
> like).
>But it is just for analogy for those who understands what it is.
Indeed.
vc
>
> --
> alex
> http://conceptoriented.com
Received on Thu Jun 16 2005 - 18:18:21 CEST