[sc34wg3] Possible TMRM issue

[Patrick Durusau]

Lars,

Lars Marius Garshol wrote:

>
> There is one potential TMRM issue that's worried me for a while, and  
> I would appreciate if we could put it to rest one way or another.
>
> TMRM instances are sets of proxies, which implies that you can't have  
> duplicate proxies. Proxies, in turn, are sets of (proxy, proxy)  
> pairs, which gives you a simple, but recursive structure. How is it  
> possible to efficiently detect duplicates in this model? In theory  
> you may have to traverse the entire model every time you want to  
> compare two proxies.
>
Puzzled by your comment "...may have to traverse the entire model every 
time you want to compare two proxies."

The TMRM specifies the required starting condition of being a set of 
proxies, i.e., no duplicates, but it does not constrain how an 
implementation would meet that condition.

How duplicates would be detected would depend upon the method chosen for 
implementation. Even though set comprehension is specified, sets are not 
necesssarily implemented as sets. Such implementations must, however, 
meet the test specified by the set comprehension requirement. Really 
depends on what a particular legend requires or permits in terms of 
structure as to what method one would use.

Does that help?

Hope you are having a great day!

Patrick


> I doubt that this has failed to occur to Robert, but I have no idea  
> what the answer is, and would appreciate if this could be cleared up  
> somehow.
>
> -- 
> Lars Marius Garshol, Ontopian               http://www.ontopia.net
> +47 98 21 55 50                             http://www.garshol.priv.no
>
>
> _______________________________________________
> sc34wg3 mailing list
> sc34wg3 at isotopicmaps.org
> http://www.isotopicmaps.org/mailman/listinfo/sc34wg3
>
>
>

-- 
Patrick Durusau
Patrick at Durusau.net
Chair, V1 - Text Processing: Office and Publishing Systems Interface
Co-Editor, ISO 13250, Topic Maps -- Reference Model
Member, Text Encoding Initiative Board of Directors, 2003-2005

Topic Maps: Human, not artificial, intelligence at work!