Assertion error in rel_rename_exps (sqlsmith)

[monetdb-team]

Date: 2017-10-27 11:03:31 +0200
From: @mlkersten
To: SQL devs <>
Version: -- development
CC: @njnes

Last updated: 2017-12-14 14:46:05 +0100

Comment 25815

Date: 2017-10-27 11:03:31 +0200
From: @mlkersten

User-Agent: Mozilla/5.0 (X11; Fedora; Linux x86_64; rv:54.0) Gecko/20100101 Firefox/54.0
Build Identifier:

On the mergedb example database

4 0x00007fbd13aa1f0b in rel_rename_exps (sql=0x7fbcc810afe0, exps1=0x7fbcc8796680,
exps2=0x7fbcc87971b0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:1869
5 0x00007fbd13aafb31 in rel_push_project_down_union (changes=0x7fbce73f88b8,
sql=0x7fbcc810afe0, rel=0x7fbcc866c950)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:4798
6 0x00007fbd13ac113e in rewrite_topdown (sql=0x7fbcc810afe0, rel=0x7fbcc866c950,
rewriter=0x7fbd13aaf7b0 <rel_push_project_down_union>,
has_changes=0x7fbce73f88b8)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8835
7 0x00007fbd13ac1261 in rewrite_topdown (sql=0x7fbcc810afe0, rel=0x7fbcc8796550,
rewriter=0x7fbd13aaf7b0 <rel_push_project_down_union>,
has_changes=0x7fbce73f88b8)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8857
8 0x00007fbd13ac128d in rewrite_topdown (sql=0x7fbcc810afe0, rel=0x7fbcc865ce50,
rewriter=0x7fbd13aaf7b0 <rel_push_project_down_union>,
has_changes=0x7fbce73f88b8)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8864
9 0x00007fbd13ac128d in rewrite_topdown (sql=0x7fbcc810afe0, rel=0x7fbcc865dbf0,
rewriter=0x7fbd13aaf7b0 <rel_push_project_down_union>,
has_changes=0x7fbce73f88b8)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8864
10 0x00007fbd13ac128d in rewrite_topdown

Reproducible: Always

Steps to Reproduce:

select
cast(nullif(subq_0.c3,
subq_0.c3) as int) as c0
from
(select
ref_0.x as c0,
ref_0.y as c1,
ref_0.z as c2,
ref_0.x as c3,
ref_0.y as c4
from
sys.s2 as ref_0
where (ref_0.z is NULL)
and (EXISTS (
select
ref_1.role_id as c0,
ref_0.z as c1,
ref_1.role_id as c2,
ref_1.role_id as c3,
ref_0.z as c4,
ref_1.login_id as c5,
ref_0.z as c6,
ref_0.y as c7
from
sys.user_role as ref_1
where (EXISTS (
select
ref_0.y as c0,
ref_1.login_id as c1,
ref_0.x as c2,
ref_0.x as c3,
ref_0.x as c4,
77 as c5,
ref_1.role_id as c6,
ref_1.login_id as c7,
ref_0.x as c8,
ref_0.x as c9,
ref_2.name as c10,
ref_0.y as c11,
ref_2.file_id as c12,
ref_2.vartype as c13
from
sys.netcdf_vars as ref_2
where ref_0.x is not NULL))
or (ref_0.y is NULL)))
limit 109) as subq_0
where (EXISTS (
select
ref_3.z as c0,
subq_0.c2 as c1,
ref_3.z as c2,
ref_3.x as c3,
100 as c4,
ref_3.x as c5,
ref_3.z as c6
from
sys.r as ref_3
where ref_3.x is not NULL))
or (subq_0.c2 is NULL)
limit 141;

Comment 25830

Date: 2017-11-01 16:14:56 +0100
From: MonetDB Mercurial Repository <>

Changeset 860ca030d222 made by Niels Nes niels@cwi.nl in the MonetDB repo, refers to this bug.

For complete details, see https//devmonetdborg/hg/MonetDB?cmd=changeset;node=860ca030d222

Changeset description:

fixes for bugs 6451, 6453 and 6455

fixed bug in apply expression name conflict resolution

fixed naming of relations with correlations

also added tests and stable output

Comment 25832

Date: 2017-11-01 16:21:07 +0100
From: @njnes

fixed problem with naming relations with correlated sub queries