Re: Onto a potential relational manipulation language

On Dec 12, 2:16 am, Cimode <cim..._at_hotmail.com> wrote:

> I am curious.  What do yo mean by assertion?  Are you refering to ra
> predicate boolean logic?  When you say that the purpose is verify that
> an assertion is a valid theorem in RL, what do you call a *valid
> theorem*.  Thank you ellaborating on this last particular point.

people don't ask if it is an assertion or sentence.

> As I mentionned in the response to paul c, the
> computing model and subsequent implementation main purpose is relation
> level manipulation and operation not tuple level.

Well, RL manipulates with relations as they are unstructured entities. There is no reference to attributes and tuples -- relation structure is captured in axioms. However, we don't know complete axiom system for RL. QBQL serves as a tool to semantically validate RL sentences and thus have to leverage relation structure (as a set of tuples).

> Relation operation and traditional boolean logic are not mutually > exclusive concepts

There is established Logic <-> Algebra correspondence. For propositional calculus we have boolean algebra. What algebra do we have for predicate calculus? None. I'd suggest that RL is predicate calculus without quantifiers and relation attributes.

> > (((Peter ^ Parent) v Relationship) ^ (Max ^ Child)) v R00 = R01.
>
> I do not quite see the relation between the example posted and the
> example you provided.  Please explain why you see a relationship?

Well, these sentences were taken out of context mostly for entertainment purpose. They are valid in the following database

People = {


  <name=max,sex=male>,

Pets = {
<nickname=folly,specie=dog>,
<nickname=scruffy,specie=cat>

};

Time = {
<time=dummy>

} ^ R00 ;

Fed = {
<name=max,nickname=folly,time=200>,
<name=claire,nickname=folly,time=200>,
<name=max,nickname=folly,time=300>,
<name=max,nickname=scruffy,time=200>

};

Max = {
<name=max>

};

Claire = {
<name=claire>

};

Peter = {
<name=peter>

};

Folly = {
<nickname=folly>

};

Scruffy = {
<nickname=scruffy>

};

TwoOclock = {
<time=200>

};

ThreeOclock = {
<time=300>

};

At = {
<name=max, location=home, time=200>,
<name=claire,location=library,time=200>,
<name=max, location=library,time=300>,
<name=claire,location=home, time=300>,
<name=max, location=library,time=400>,
<name=claire,location=library,time=500>
};

Home = {
<location=home>

};

Library = {
<location=library>

};

Parent = {
<name=peter,relationship=peterFatherMax>
};

Child = {
<name=max,relationship=peterFatherMax>
};

Relationship = {
<relationship=dummy>

} ^ R00;

I'd suggest running Sims.assertions against Sims.db in QBQL to actually experience it. Received on Fri Dec 12 2008 - 18:55:11 CET