Bugs item #2770608, was opened at 2009-04-17 14:02
Message generated for change (Comment added) made by cornuz
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=2770608&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: SQL/Core
Group: SQL "stable"
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Roberto Cornacchia (cornuz)
Assigned to: Martin Kersten (mlkersten)
Summary: SQL: mitosis+reorder (was 'mitosis') goes wild

Initial Comment:
Many of my recent experiments showed wrong/unexpected behaviours when executed 
with the mitosis optimizer on (default in development).
However, it was always difficult to come up with a reproducible bug.

This one is very easy to reproduce. 
It executes a primary key self-join on the system-table 'types'. 
The expected result is the relation itself.

sql>select * from types t1, types t2 where t1.id = t2.id;
26 tuples

The count is indeed correct, but there is no output.
The EXPLAIN of this query is something fun to see, I won't paste it here as it 
is very long.



----------------------------------------------------------------------

>Comment By: Roberto Cornacchia (cornuz)
Date: 2009-06-07 21:00

Message:
A comment about this bug report: 

I do realize that the reorder optimizer is now known to be buggy and
disabled.
This could mean the bug report can be closed, as it addresses
'experimental' code.

However, because it seems the problem isn't just in 'reorder' itself, but
it is its interaction with mitosis that cause the problem, it may make
sense to investigate this issue a bit further.

In addition, I consider the bug report valid as the experimental code it
addresses is very well reachable (without any warning to the user) also in
the stable version.



----------------------------------------------------------------------

Comment By: Roberto Cornacchia (cornuz)
Date: 2009-06-07 20:45

Message:
It seems that my first bug report was not accurate.
At that time, the 'reorder' optimizer was still on by default in the
development version. Only later it was discovered to be buggy and
disabled.

The problem reported is still there, but it shows up only when mitosis and
reorder are BOTH enabled. Disabling one of the two makes the problem
disappear.

sql>set
optimizer='inline,remap,evaluate,costModel,coercions,emptySet,mitosis,aliases,mergetable,deadcode,constants,commonTerms,reorder,joinPath,deadcode,reduce,garbageCollector,dataflow,history,multiplex';
0 tuples
sql>select * from types t1, types t2 where t1.id = t2.id;
26 tuples




----------------------------------------------------------------------

Comment By: Stefan Manegold (stmane)
Date: 2009-06-07 19:28

Message:
Re-opened to remind us that we should add a test for this bug report,
e.g., using the new features to set optimizers at server start-up
(or at least give a reason why none can / need to be added).


----------------------------------------------------------------------

Comment By: Martin Kersten (mlkersten)
Date: 2009-06-07 17:28

Message:
this particular example works on the current version. Given the overhaul of
Mitosis (et.al.) it is closed until a better example is given.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=2770608&group_id=56967

------------------------------------------------------------------------------
OpenSolaris 2009.06 is a cutting edge operating system for enterprises 
looking to deploy the next generation of Solaris that includes the latest 
innovations from Sun and the OpenSource community. Download a copy and 
enjoy capabilities such as Networking, Storage and Virtualization. 
Go to: http://p.sf.net/sfu/opensolaris-get
_______________________________________________
Monetdb-bugs mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-bugs

Reply via email to