Re: $greater, $lesser, etc.

[Giovanni Bartolomeo <giovanni.bartolomeo@uniroma2.it>]

Hello Markus,

thanks for the effort you're putting on this subject. I'm out of  
office these days, and can provide just a quick answer; I used +age in  
the subject because, if I'm not wrong, definitions like this

=giovanni+phone+home/$type$xsd$string/"+39 06 4451843"

are valid in XDI. Assuming this holds, we're saying that  
=giovanni+phone+home is of type string and has a value; a query like  
this

($any$1+phone+home)
     $equals
         "+39 06 4451843"

should return

=giovanni+phone+home/$type$xsd$string/"+39 06 4451843"

What it is still a bit obscure to me are the following statements:

=giovanni/+phone+home/"+39 06 4451843"

=giovanni+phone/+home/"+39 06 4451843"

aren't they equivalent? furthermore, aren't they both asserting the  
same as giovanni+phone+home/$type$xsd$string/"+39 06 4451843"?

Giovanni

At 20.46 30/03/2008, you wrote:
Hi Giovanni,

I have a small problem with statements like this:

=nicola+age
     $lesser
         "30"

The problem is that a subject (=nicola) and a predicate (+age) seem to  
be directly concatenated. This can make the constraint ambiguous. For  
example, take the following:

$any$1+phone+home
     $equals
         "+39 06 4451843"

Now does this apply to statements with subject $any$1 and predicate  
+phone+home, or does it apply to statements with subject $any$1+phone  
and predicate +home?

Maybe these constraints should be changed such that they contain an  
XDI address in a cross-reference, like this:

($any$1/+phone+home)
     $equals
         "+39 06 4451843"

Then it's clear what statements the constraint applies to.

Or am I missing anything? I have seen you use +age (which looks like a  
predicate) as part of a subject many times, and I never really  
understood what that means?

Markus