<br><br><div class="gmail_quote">On Wed, Feb 13, 2013 at 7:53 PM, Jörg Ehrichs <span dir="ltr"><<a href="mailto:Joerg.Ehrichs@gmx.de" target="_blank">Joerg.Ehrichs@gmx.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
><br>
> [...] I would like to move<br>
<div class="im">> to a much simpler naming scheme - nepomuk:/TYPE/number. The number will be<br>
> an increasing integer which will start from 0.<br>
><br>
> This way, we will not need to rely on uuid generation and won't have to<br>
> query the database during each creation.<br>
><br>
<br>
</div>What happens when a resource is deleted or the some id is unused again<br>
after merging some resources?<br>
Do we keep a list of unused ids before we start to increase the counter again?<br>
Or do we ignore it and hope to never reach max integer created<br>
resources in a lifetime?<br></blockquote><div><br>Ignore the deleted one. <br><br>We can't really reach the max integer limit. It is stored as a string. Example - "nepomuk:/res/535345345"<br> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<br>
What is the worst that can happen if we have for some reason two<br>
different resources with the same id?<br></blockquote><div><br>Well, you would have 2 resources which would be acting as the same. Not a that big deal. <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<br>
Other than that, I'm fine with it.<br>
The nepomuk resource is just an internal detail no developer ever<br>
needs to see, so how it looks like doesn't really matter.<br>
</blockquote></div><br><br clear="all"><br>-- <br><span style="color:rgb(192,192,192)">Vishesh Handa</span><br>