Different results for the semantically the same queries

Question

Hi,
I'm encountering a very odd problem. Before providing an XQuery code, I will ask on the abstract level. I have an XQuery module with my own functions defined. Then in my main query I import that module and execute one function from there. I get let's say 5 results. However if I copy that module into the body of the main query and execute the same function, I get 53 results. Can anybody tell me please, what might be wrong? Any pitfalls?
Vyacheslav

Answer 1

I narrowed down the query and the module code.
module:
module namespace mmt = "http://omdoc.org/ns";
declare namespace abox = "http://omdoc.org/abox";
declare function mmt:importsaux($graph as element()*, $tovisit as xs:string*, $visited as xs:string*) as xs:string* {
  if (empty($tovisit))
  then $visited
  else let $to   := $tovisit[1],
            $from := $graph[@subject = $to]/@object[not(.=$visited)] 
        return mmt:importsaux($graph, ($from, $tovisit[not(.=($to,$from))]), ($visited, $to))
};The main query:
import module namespace mmt = 'http://omdoc.org/ns' at 'http://alpha.tntbase.mathweb.org/repos/cds/db/mmt.xq';
declare namespace abox = "http://omdoc.org/abox";
declare function mmt:importsaux2($graph as element()*, $tovisit as xs:string*, $visited as xs:string*) as xs:string* {
  if (empty($tovisit))
  then $visited
  else let $to   := $tovisit[1],
            $from := $graph[@subject = $to]/@object[not(.=$visited)] 
        return mmt:importsaux2($graph, ($from, $tovisit[not(.=($to,$from))]), ($visited, $to))
(: change this to importsaux2 in order to change number of results :)
mmt:importsaux(collection('xml_content.dbxml')[dbxml:metadata('tnt:type')='mmt']/abox:mmtabox/
                             abox:relation[@predicate='HasOccurrenceOfInImport'],
                            "http://cds.omdoc.org/logics/first-order/model_theory/fol.omdoc?FOLMOD",
)So if I execute the query as it is, then I get 5 results. If I change the function name from the main query from importsaux to importsaux2, then I get 53 results. Those two functions are identical, but is in the module and another is in the query body. Don't know why the results are different.
Vyacheslav