Re: TMQL: Direct (super|sub)types?

Rani,

Am 01.03.2011 um 09:42 schrieb Rani Pinchuk:

> 3. I share with Robert Cerny the definition of direct subtype:
> 
> Topic type A is a direct subtype of topic type B, if and only if 'A ako B' is true.
> 
> With regards to the indirect subtype - I guess (correct me if I am wrong) that Robert Cerny was a bit short in his definition - as you might have X which is a direct subtype of Y1 which is a direct subtype of Y2 which is a direct subtype of Z. And then X is indirect subtype of Z as well. So:
> 
> Topic type X is an indirect subtype of topic type Z, if and only if 'X ako Z' is false, but there exists a topic type Y, and 'X ako Y' and Y is a direct or indirect subtype of Z.

You are right.

Robert