nance so the resulting file with usually be smaller. This is best performed when no one is writing to the database directory.

</dd>
</div>
<div id="del,Database,string,string">
<dt><pre><span class="Keyword">proc</span> <a href="#del%2CDatabase%2Cstring%2Cstring"><span class="Identifier">del</span></a><span class="Other">(</span><span class="Identifier">db</span><span class="Other">:</span> <a href="limdb.html#Database"><span class="Identifier">Database</span></a><span class="Other">;</span> <span class="I