Bugs item #2124300, was opened at 2008-09-23 12:03
Message generated for change (Settings changed) made by tsheyar
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=2124300&group_id=56967
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: PF/compiler
Group: Pathfinder CVS Head
Status: Open
>Resolution: Later
Priority: 5
Private: No
Submitted By: Jan Rittinger (tsheyar)
Assigned to: Nobody/Anonymous (nobody)
Summary: PF: error handling for erroneous query incorrect
Initial Comment:
Pathfinder cannot handle stupid queries--queries where the error function is
used in incorrect/unreasonable places--correctly.
This leads to 1.) errors that are optimized away and 2.) compile time problems
as some operators are not able to consume an error operator.
Example for Problem 1: The core representation does not know about side effects
which leads to incorrect optimizations of the following bogus query: '(if (1 eq
1) then error () else 42)/<foo/>' (result is <foo/>).
Example for Problem 2: The algebra does not prune operators sitting on top of
an error operator. For bogus queries such as 'node-name(error("FOO"))' or bug
#2122091 the code generation fails because some assumptions were not met.
For the first problem additional side effect information in the core
respresentation could be a solution. The second problem can be solved by an
algebra rewrite that prunes everything above an error operator (until union
operators representing choices are reached).
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=2124300&group_id=56967
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Monetdb-bugs mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
