[sc34wg3] Look Ma! No Properties!

[Jan Algermissen]

Alright, my fault. I should have read on:

> As we are ignorant on types (yet), I am simply using syntactic
> measures (in this case regular expressions like /\d+/ and /\d{8}/) to
> characterize what I want. That is good enough for many things, but
> other people might need real data types.

Anyhow, adding in the data types really would not affect the tau model
in general, it would just add more subsets to I.

Jan


Jan Algermissen wrote:
> 
> Robert Barta wrote:
> 
> > forall [ $s is-a student ]
> >   => exists [ $s
> >               name     : *
> >               shoesize : /\d+/
> >               SID      : /\d{8}/ ]
> 
> Could I also have:
> 
> forall [ $s is-a student ]
>   => exists [ $s
>               name     : *
>               shoesize : > 9        <---------------------- '>' instead of regex!
>               SID      : /\d{8}/ ]
> 
> IOW, can I 'late bind' the semantics of Integer to the opaque
> strings and apply the (numerical) '>' operator? Or am I
> doomed to doing the full scan, applying a regex on each literal
> in turn?
> (Assuming that no access path technology exists today, that
> provides indexes that support regular expressions :o)
> 
> Jan
> _______________________________________________
> sc34wg3 mailing list
> sc34wg3@isotopicmaps.org
> http://www.isotopicmaps.org/mailman/listinfo/sc34wg3

-- 
Jan Algermissen                           http://www.topicmapping.com
Consultant & Programmer	                  http://www.gooseworks.org