Re: Nulls, integrity, the closed world assumption and events
Date: 11 Jan 2007 19:36:35 -0800
Message-ID: <1168572995.329525.253820_at_v45g2000cwv.googlegroups.com>
David wrote:
> Brian Tkatch wrote:
> > David wrote:
> > > Brian Tkatch wrote:
> > > > Cimode wrote:
> > > > > David wrote:
> > > > > > Consider the following relation
> > > > > >
> > > > > > person(P,M,F) :- person P has mother M, father F.
> > > > > >
> > > > > > By induction a non-empty
> > > > > > database would have to be infinite.
> > > > > A false premise makes all deductions coming from it false. Closed
> > > > > World Assumption does not say anything about the number of element that
> > > > > belong to a domain of values from which one attribute values are
> > > > > derived. In the case of a *person* domain, the number of elements in
> > > > > the set is certainly finite. Therefore, the number of propositions
> > > > > involving person as an attribute is limited as well.
> > > >
> > > > Would not the question be better stated:
> > > >
> > > > If a table lists linked chains (with the linked-to link), how is the
> > > > final link (whether first or last) stated?
> > > >
> > > > In such a case i link the item to itself.
> > >
> > > You suggest a proposition stating that a person is their own
> > > mother/father?
> >
> > Yes.
> >
> > In a cause-effect table that records all causes and effects has to
> > assume a circular relationship for either the prime cause or (current)
> > final effect.
> >
> > If the table in question here was to denote parents and their children,
> > there would be allowance for an entry of no children, thus ending the
> > chain. However, the case here is people and their parents, without the
> > option of no parent.
> >
> > This means the chain must be circular, the question is to which link.
> > Being it would create an impossible relationship for a parent to have a
> > child as his parent, the circular relationship must be to itself.
> >
> > So yes, i would indeed suggest a proposition stating that a person is
> > their own parent.
>
> Do you suggest this by analogy to algorithms and data structures
> (written in C++ for example) that use the same technique?
> Interestingly the more common approach is to use null pointers.
>
> IMO the RM is founded first and foremost on mathematical logic, and
> therefore stating any proposition that is actually wrong must be
> avoided. This is also why I think nulls are bad.
>
> Whilst on the subject of nulls, I have seen a paper written in '83
> by Carlo Zaniolo that suggests nulls can represent "no information"
> (which encompasses all the more specific interpretations such as
> "unknown" and "non-existent"), and this appears to lead to a
> decent mathematical model, unlike Codd's 3vl which is far from
> compelling.
I haven't read that, but you might be interested in my blog entry
"Better to Have No Values"
http://www.tincat-group.com/mewsings/2006/03/better-to-have-no-values.html
where I talk about nulls with 2VL.
--dawn Received on Fri Jan 12 2007 - 04:36:35 CET