Re: [basex-talk] Potential Bug 9.0

Thanks for the bug report!

In your example code, I have additionally prefixed the function call with the 'updating' keyword (otherwise, it won’t be detected as updating expression), and the return type of the RESTXQ function had to replaced with empty-sequence().

As the updating return clause returns an empty sequence, the full FLWOR expression was optimized away – which was obviously wrong, due to the side-effecting nature of the update function. If prof:void('') is added, the code was preserved because this function was detected as a non-deterministic function.

With the latest snapshot, I am now checking for both updating and non-deterministic expressions [1,2]. Until BaseX 9.1.1 will be released, it will be a good escape to additionally call prof:void('').

Hope this helps Christian

[1] https://github.com/BaseXdb/basex/issues/1636 [2] http://files.basex.org/releases/latest/

On Sat, Nov 3, 2018 at 4:39 PM Dieter Zanzinger dieter.zanzinger@icloud.com wrote:

Dear BaseX-Team,

I encountered some unexpected behavour, maybe a bug?

I declare a collection of function-signatures. Then I iterate over the collection inside a copy/modify-construct. Each function adds a node to the database.

This works as expected:

declare variable $_:abschlussqueries := (_:f1#2 , _:f2#2);

declare %updating %rest:path('treez/ab4') function _:abschluss4() as element() { <Postabschluss>{ (

    try{
            let $db := doc('FGfax')/Dateien/Datei
            for $d in $db
            return (

                    copy $c := $d
                    modify (
                        for $funct at $counter in $_:abschlussqueries
                        return (
                            (: prof:dump("bla: " || $counter) , :)
                            prof:void(""),
                            $funct($c, $counter)
                        )
                    )
                    return (
                        $c
                    )
            )

    } catch * {
            let $db := doc('FGfax')/Dateien
            return
                    error(xs:QName("dieter:norights10"), "Error: "|| $err:code || ': ' || $err:description , 418 )
    }

) }</Postabschluss>

};

declare %updating function _:f1($c, $counter ) {

        try {(
            filepath:copy-to("C:\Users\Win7ProUser\Documents\FGscan_ScanDocs\bla.xml","C:\Users\Win7ProUser\Documents\FGscan_ScanDocs\bla1.xml"),
            insert node <f1>function1 </f1> as last into $c
        )} catch * {
            insert node <f1>{"Error: "|| $err:code || ': ' || $err:description}</f1> as last into $c
        }

};

declare %updating function _:f2($c, $counter ) {

        try {(
            filepath:copy-to("C:\Users\Win7ProUser\Documents\FGscan_ScanDocs\bla.xml","C:\Users\Win7ProUser\Documents\FGscan_ScanDocs\bla1.xml"),
            insert node <f2>function2 </f2> as last into $c
        )} catch * {
            insert node <f2>{"Error: "|| $err:code || ': ' || $err:description}</f2> as last into $c
        }

};

————————————— Result:

<?xml version="1.0" encoding="ISO-8859-1"?>

<Postabschluss> <Datei uuid="8ad03f50-4b9c-461a-b818-1a97dc5735e9"> <sortedPath znen="">@SMB10.211.55.6/netzlaufwerktestF/sortierter_Posteingang/OHNE/#Fax_OHNE_AZ--201803061002-154925-00498171251x1800.pdf</sortedPath> <f1>function1 </f1> <f2>function2 </f2> </Datei> <Datei uuid="26a3aee7-a0d8-4b8d-acd4-90554c8ab28c"> <sortedPath znen="">@SMB10.211.55.6/netzlaufwerktestF/sortierter_Posteingang/OHNE/#Fax_OHNE_AZ--201803061003-154928-0049242344x1801.pdf</sortedPath> <f1>function1 </f1> <f2>function2 </f2> </Datei> <Datei uuid="af0548aa-08cf-464a-839d-421363f452ce"> <sortedPath znen="">@SMB10.211.55.6/netzlaufwerktestF/sortierter_Posteingang/OHNE/#Fax_OHNE_AZ--201803061220-154966-004999429025.pdf</sortedPath> <f1>function1 </f1> <f2>function2 </f2> </Datei> ——————

But if remove the line: prof:void("“),the result is:

<?xml version="1.0" encoding="ISO-8859-1"?>

<Postabschluss>

<Datei uuid="8ad03f50-4b9c-461a-b818-1a97dc5735e9">

<sortedPath znen="">@SMB10.211.55.6/netzlaufwerktestF/sortierter_Posteingang/OHNE/#Fax_OHNE_AZ--201803061002-154925-00498171251x1800.pdf</sortedPath></Datei>

<Datei uuid="26a3aee7-a0d8-4b8d-acd4-90554c8ab28c">

<sortedPath znen="">@SMB10.211.55.6/netzlaufwerktestF/sortierter_Posteingang/OHNE/#Fax_OHNE_AZ--201803061003-154928-0049242344x1801.pdf</sortedPath>

</Datei>

<Datei uuid="af0548aa-08cf-464a-839d-421363f452ce">

<sortedPath znen="">@SMB10.211.55.6/netzlaufwerktestF/sortierter_Posteingang/OHNE/#Fax_OHNE_AZ--201803061220-154966-004999429025.pdf</sortedPath>

</Datei>

</Postabschluss>

Do you have any explanation for this behavour?Some other updating expression instead of prof:void(„“) works as well. But if my only call is to the functions, it does not work. SincerelyDieter Zanzinger