Bug #34
NUC-disjunction fails when one term is unconstrained.
Start date:
Due date:
% Done:
0%
Estimated time:
Resolution:
fixed
Description
The following is a minimal example that triggers the bug:
<br/>
<br/>
create <<a href="local:///topazproject#test>;">local:///topazproject#test&gt;;</a>
<br/>
insert
<br/>
<foo:one> <p:type> <t:p>
<br/>
<foo:one> <p:hasA> <bar:one>
<br/>
<foo:one> <p:hasB> 'mollusks'
<br/>
<br/>
<foo:two> <p:type> <t:p>
<br/>
<foo:two> <p:hasA> <bar:two>
<br/>
<foo:two> <p:hasB> 'mollusks'
<br/>
<br/>
into <<a href="local:///topazproject#test>;">local:///topazproject#test&gt;;</a>
<br/>
<br/>
select $a $t from <<a href="local:///topazproject#test">local:///topazproject#test</a>> where
<br/>
$b <p:type> <t:p> and
<br/>
$b <p:hasA> $a and
<br/>
(
<br/>
($b <p:hasB> 'mollusks' and $t <<a href="http://mulgara.org/mulgara#is">http://mulgara.org/mulgara#is</a>> '0')
<br/>
or
<br/>
($t <<a href="http://mulgara.org/mulgara#is">http://mulgara.org/mulgara#is</a>> '1')
<br/>
);
<br/>
<br/>
The result is
<br/>
<br/>
QueryException thrown in resolve:
<br/>
org.mulgara.query.QueryException: Failed to resolve query
<br/>
Caused by: org.mulgara.query.TuplesException: Prefix failed to meet defined minimum prefix
<br/>