[sc34wg3] Look Ma! No Properties!

[Jan Algermissen]

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