Re: Changes in TDB

[Andy Seaborne]

On 12/03/12 22:25, Paul Gearon wrote:
On Mon, Mar 12, 2012 at 3:00 PM, Andy Seaborne<a...@apache.org>  wrote:
On 12/03/12 16:55, Paul Gearon wrote:

Hi,


Hi Paul,

Thanks for the report.

Could you say something about the data, e.g. how much, or, ideally, make a
copy of the test data available so as similar a setup as yours can be
created?

I've attached the data mentioned in my previous email.

I'm afraid the Apache lists don't support attachments.  Could you 
forward the email to me please?

The tests
involve loading one-step.ttl into data:input, running the operations,
then dropping the graph. Then two-step.ttl is loaded into data:input
with the same URI, the operations tried again, and the graph dropped.
The same for the three-step.ttl. The errors described usually start
showing up in the third case.

Is that a set of SPARQL Updates?  Can you send them as well?  The 
complete log would be useful as well because I mocked up something from 
your description in your initial email but everything worked just fine 
for me, even under excessive load.

All that means, is I haven't guessed the right sequence of operations 
and timings.  Maybe it's something in a prior request breaking the 
transaction system only to show up later (the server is multithreaded so 
a bug can lead to one thread being damaged or lost, causing a problme 
later if it does not clear up).

You first email didn't mention updates with spouseOf, and the count 
query wasn't quite as you showed it, same effect, but I'm wondering if 
there is some detail that matters here.

I'm mystified by the COUNT GET request.

The HTTP request for the COUNT query sent had %3F%CB%901 for a variable 
name which is ?:1 except the : is actually Unicode 02D0 (Modifier Letter 
Triangular Colon, length mark) if I decoded it correctly. "ː"

        Andy

You probably already know, but the task at hand is a set of unit tests
for a RIF processor. The rules for the third test case look like:
       Forall ?x ?y ?z (
         ex:parentOf(?z ?y) :- And(
           ex:siblingOf(?x ?y)
           ex:parentOf(?z ?x)
         )
       )

       Forall ?x ?y ?z (
         ex:parentOf(?x ?z) :- And(
           ex:spouseOf(?x ?y)
           ex:parentOf(?y ?z)
         )
       )


You can probably figure out the mapping of these into SPARQL
operations, but ask if anything doesn't make sense.

Regards,
Paul Gearon