RM formalism supporting partial information

Nearly two weeks ago I posted to the thread "atomic" regarding a join
operator I had defined back in January. A discussion with Paul C
inspired me to more carefully develop the mathematical formalism.

I have been surprised to discover some elegant mathematical ideas
making me feel like this is a very promising area of study. It could
easily turn out to be valuable for a formal approach to partial
information in the RM within the confines of a 2vl.

There are a number of definitions of relational operators in the
spirit of the RA, and many properties are stated, complete with formal
proofs. In a number of ways the operators are more flexible than in
the conventional RA. For example, union, intersection and difference
are defined on relations that are not necessarily union compatible,
and the association with partial information is simple and intuitive.

There is far too much detail to post. The following is a link to a MS
word document.

http://www.members.iinet.net.au/~davidbl/MVattributes.doc

This is still a work in progress.

I welcome any comments.

.

Relevant Pages

  • Re: RM formalism supporting partial information
    ... AFAIK you say this because of something to do with the CWA but I can't ... The CWA is not incompatible with partial information. ... complete database then we can compare the ... we will use the formalism (with its well understood ...
    (comp.databases.theory)
  • Re: What are the two kinds of masses ?? (Part 2)
    ... Physics doesn't do "why". ... Inquiring the nature of a mechanism is not philosophy. ... mathematical formalism, not a scientific theory. ... "The mathematical formalism of general relativity" ...
    (sci.physics.relativity)
  • Re: choice of character for relational division
    ... different characters for the relational operators from ... The / character is often used, ... to require bags that I've run into. ... of table/attribute formalism for relation structuralization. ...
    (comp.databases.theory)
  • Re: Observer pattern limitations
    ... langauge is a mathematical formalism of some kind. ... So every OO language is a mathematical ... Nevertheless the low level formalism of an OOPL oten means it is the ...
    (comp.object)