Project

General

Profile

Bug #34

NUC-disjunction fails when one term is unconstrained.

Added by ronald - about 16 years ago. Updated over 15 years ago.

Status:
Closed
Priority:
High
Assignee:
Category:
Mulgara
Target version:
-
Start date:
Due date:
% Done:

0%

Estimated time:
Resolution:
fixed

Description

The following is a minimal example that triggers the bug:
<br/>

<br/>
&nbsp;&nbsp;&nbsp;&nbsp;create &lt;<a href="local:///topazproject#test&gt;;">local:///topazproject#test&amp;gt;;</a>
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;insert
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;foo:one&gt; &lt;p:type&gt; &lt;t:p&gt;
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;foo:one&gt; &lt;p:hasA&gt; &lt;bar:one&gt;
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;foo:one&gt; &lt;p:hasB&gt; 'mollusks'
<br/>

<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;foo:two&gt; &lt;p:type&gt; &lt;t:p&gt;
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;foo:two&gt; &lt;p:hasA&gt; &lt;bar:two&gt;
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;foo:two&gt; &lt;p:hasB&gt; 'mollusks'
<br/>

<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;into &lt;<a href="local:///topazproject#test&gt;;">local:///topazproject#test&amp;gt;;</a>
<br/>

<br/>
&nbsp;&nbsp;&nbsp;&nbsp;select $a $t from &lt;<a href="local:///topazproject#test">local:///topazproject#test</a>&gt; where
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;$b &lt;p:type&gt; &lt;t:p&gt; and
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;$b &lt;p:hasA&gt; $a and
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;($b &lt;p:hasB&gt; 'mollusks' and $t &lt;<a href="http://mulgara.org/mulgara#is">http://mulgara.org/mulgara#is</a>&gt; '0')
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;or
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;($t &lt;<a href="http://mulgara.org/mulgara#is">http://mulgara.org/mulgara#is</a>&gt; '1')
<br/>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;);
<br/>

<br/>
The result is
<br/>

<br/>
&nbsp;&nbsp;QueryException thrown in resolve:
<br/>
&nbsp;&nbsp;org.mulgara.query.QueryException: Failed to resolve query
<br/>
&nbsp;&nbsp;Caused by: org.mulgara.query.TuplesException: Prefix failed to meet defined minimum prefix
<br/>

Also available in: Atom PDF