Changeset: bf6311329b45 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=bf6311329b45
Modified Files:
sql/server/rel_exp.c
sql/test/BugTracker-2015/Tests/crash.Bug-3736.stable.out
sql/test/BugTracker-2015/Tests/crash_in_reduce_groupby.Bug-3818.stable.out
sql/test/BugTracker-2015/Tests/quantile_function_resolution.Bug-3773.stable.out
sql/test/BugTracker-2016/Tests/memory-consumption-query-PLAN-25joins.Bug-3972.stable.out
sql/test/SQLancer/Tests/sqlancer01.stable.out
sql/test/Tests/keys.stable.out
sql/test/merge-partitions/Tests/mergepart31.stable.out
sql/test/mergetables/Tests/part-elim.stable.out
sql/test/miscellaneous/Tests/simple_plans.stable.out
sql/test/miscellaneous/Tests/simple_selects.stable.out
Branch: Oct2020
Log Message:
Set no nil property on non null atoms
diffs (truncated from 493 to 300 lines):
diff --git a/sql/server/rel_exp.c b/sql/server/rel_exp.c
--- a/sql/server/rel_exp.c
+++ b/sql/server/rel_exp.c
@@ -410,6 +410,8 @@ exp_atom(sql_allocator *sa, atom *a)
e->card = CARD_ATOM;
e->tpe = a->tpe;
e->l = a;
+ if (!a->isnull)
+ set_has_no_nil(e);
return e;
}
@@ -1862,6 +1864,9 @@ exp_is_zero(sql_exp *e)
int
exp_is_not_null(sql_exp *e)
{
+ if (!has_nil(e))
+ return true;
+
switch (e->type) {
case e_atom:
if (e->f) /* values list */
@@ -1894,6 +1899,9 @@ exp_is_not_null(sql_exp *e)
int
exp_is_null(sql_exp *e )
{
+ if (!has_nil(e))
+ return false;
+
switch (e->type) {
case e_atom:
if (e->f) /* values list */
diff --git a/sql/test/BugTracker-2015/Tests/crash.Bug-3736.stable.out
b/sql/test/BugTracker-2015/Tests/crash.Bug-3736.stable.out
--- a/sql/test/BugTracker-2015/Tests/crash.Bug-3736.stable.out
+++ b/sql/test/BugTracker-2015/Tests/crash.Bug-3736.stable.out
@@ -114,7 +114,7 @@ project (
| | | | ) [ "b2"."id" NOT NULL HASHCOL = "%3"."%3" ]
| | | ) [ "b2"."increase" NOT NULL, "o"."open_auction_id" NOT NULL as
"%6"."%6" ]
| | ) [ "o"."open_auction_id" NOT NULL * = "%6"."%6" NOT NULL ]
-| ) [ sys.sql_mul("%2"."%2" NOT NULL, double "2") <= "b2"."increase" NOT NULL ]
+| ) [ sys.sql_mul("%2"."%2" NOT NULL, double "2") NOT NULL <= "b2"."increase"
NOT NULL ]
) [ "b"."id" NOT NULL HASHCOL , "b"."open_auction_id" NOT NULL, "b"."date" NOT
NULL, "b"."time" NOT NULL, "b"."personref" NOT NULL, "b"."increase" NOT NULL ]
#Select b.* FROM open_auctions o, bidder b WHERE (select b3.INCREASE from
bidder b3 where b3.id = (select min(b3a.id) from bidder b3a where
b3a.open_auction_id = o.open_auction_id)) * 2 <= (Select b2.INCREASE from
bidder b2 where b2.id = (SELECT MAX(b2a.id) from bidder b2a where
b2a.open_auction_id = o.open_auction_id)) AND o.open_auction_id =
b.open_auction_id order by date, time;
% sys.b, sys.b, sys.b, sys.b, sys.b, sys.b # table_name
diff --git
a/sql/test/BugTracker-2015/Tests/crash_in_reduce_groupby.Bug-3818.stable.out
b/sql/test/BugTracker-2015/Tests/crash_in_reduce_groupby.Bug-3818.stable.out
--- a/sql/test/BugTracker-2015/Tests/crash_in_reduce_groupby.Bug-3818.stable.out
+++ b/sql/test/BugTracker-2015/Tests/crash_in_reduce_groupby.Bug-3818.stable.out
@@ -54,12 +54,12 @@ stdout of test 'crash_in_reduce_groupby.
% .plan # table_name
% rel # name
% clob # type
-% 180 # length
+% 189 # length
project (
| group by (
| | table(sys.t2a) [ "t2a"."tib0" ] COUNT
-| ) [ tinyint "0" as "sora" ] [ tinyint "0" as "cods", tinyint "0" as "elrik",
tinyint "0" as "ether", tinyint "0" as "jaelen", "sora", sys.min no nil
("t2a"."tib0") as "%1"."%1" ]
-) [ "cods", "elrik", "ether", "jaelen", "sora", "%1"."%1" ]
+| ) [ tinyint "0" as "sora" ] [ tinyint "0" as "cods", tinyint "0" as "elrik",
tinyint "0" as "ether", tinyint "0" as "jaelen", "sora" NOT NULL, sys.min no
nil ("t2a"."tib0") as "%1"."%1" ]
+) [ "cods" NOT NULL, "elrik" NOT NULL, "ether" NOT NULL, "jaelen" NOT NULL,
"sora" NOT NULL, "%1"."%1" ]
#drop table t2a;
#drop table t1a;
diff --git
a/sql/test/BugTracker-2015/Tests/quantile_function_resolution.Bug-3773.stable.out
b/sql/test/BugTracker-2015/Tests/quantile_function_resolution.Bug-3773.stable.out
---
a/sql/test/BugTracker-2015/Tests/quantile_function_resolution.Bug-3773.stable.out
+++
b/sql/test/BugTracker-2015/Tests/quantile_function_resolution.Bug-3773.stable.out
@@ -34,25 +34,25 @@ stdout of test 'quantile_function_resolu
% .plan # table_name
% rel # name
% clob # type
-% 92 # length
+% 101 # length
project (
| group by (
| | project (
| | | table(sys.x) [ "x"."y" ] COUNT
| | ) [ "x"."y", double "0" as "%2"."%2" ]
-| ) [ ] [ sys.quantile no nil (decimal(18,3)["x"."y"] as "x"."y", "%2"."%2")
as "%1"."%1" ]
+| ) [ ] [ sys.quantile no nil (decimal(18,3)["x"."y"] as "x"."y", "%2"."%2"
NOT NULL) as "%1"."%1" ]
) [ "%1"."%1" ]
#plan select quantile(y, 0) from x;
% .plan # table_name
% rel # name
% clob # type
-% 92 # length
+% 101 # length
project (
| group by (
| | project (
| | | table(sys.x) [ "x"."y" ] COUNT
| | ) [ "x"."y", double "0" as "%2"."%2" ]
-| ) [ ] [ sys.quantile no nil (decimal(18,3)["x"."y"] as "x"."y", "%2"."%2")
as "%1"."%1" ]
+| ) [ ] [ sys.quantile no nil (decimal(18,3)["x"."y"] as "x"."y", "%2"."%2"
NOT NULL) as "%1"."%1" ]
) [ "%1"."%1" ]
#rollback;
diff --git
a/sql/test/BugTracker-2016/Tests/memory-consumption-query-PLAN-25joins.Bug-3972.stable.out
b/sql/test/BugTracker-2016/Tests/memory-consumption-query-PLAN-25joins.Bug-3972.stable.out
---
a/sql/test/BugTracker-2016/Tests/memory-consumption-query-PLAN-25joins.Bug-3972.stable.out
+++
b/sql/test/BugTracker-2016/Tests/memory-consumption-query-PLAN-25joins.Bug-3972.stable.out
@@ -88,7 +88,7 @@ stdout of test 'memory-consumption-query
% .plan # table_name
% rel # name
% clob # type
-% 2493 # length
+% 2511 # length
top N (
| project (
| | select (
@@ -168,7 +168,7 @@ top N (
| | | | ) [ "a3"."t3pkcol" HASHCOL = "table1"."t1cold113" ],
| | | | table(sys.table12) [ "table12"."t12cola1" ] COUNT
| | | ) [ "table12"."t12cola1" = "table1"."t1cola1" ]
-| | ) [ (((((((((((((((char["table1"."t1cold1"] as "table1"."t1cold1") FILTER
ilike (char "%a%", char "")) or ((char["table1"."t1cola1"] as
"table1"."t1cola1") FILTER ilike (char "%a%", char ""))) or
((char["table1"."t1colb1"] as "table1"."t1colb1") FILTER ilike (char "%a%",
char ""))) or ((char["table1"."t1cola11"] as "table1"."t1cola11") FILTER ilike
(char "%business%", char ""))) or ("table1"."t1colc91" >= timestamp(7)
"2016-03-21 05:00:00.000000")) or ("table1"."t1cola101" = tinyint "1")) or
((char["table1"."t1cola12"] as "table1"."t1cola12") FILTER ilike (char
"%Vijay%", char ""))) or ((char["table2"."t2cola1"] as "table2"."t2cola1") !
FILTER ilike (char "%gmail%", char ""), (char["table2"."t2cola1"] as
"table2"."t2cola1") ! FILTER ilike (char "%yahoo%", char ""))) or
((char["table2"."t2cola1"] as "table2"."t2cola1") FILTER ilike (char
"%efequitygroup.com%", char ""))) or ("table4"."t4cola1" = clob "Customer")) or
("table4"."t4cola2" ! * = clob "NULL")) or ("table2"."t2cola81" >= date
"2009-08-31")) or ((("table5"."t5cola1" = clob "BAT") or
((char["table5"."t5cola2"] as "table5"."t5cola2") FILTER ilike (char
"%AUSTRALIA%", char ""))) or ((char["table5"."t5cola2"] as "table5"."t5cola2")
FILTER ilike (char "%Monet%", char ""), "table5"."t5cola3" = clob "Facebook",
"table5"."t5cola5" = clob "new", "table5"."t5cola81" > date "2015-07-30"))) or
((("table10"."t10cola1" != clob "Completed", "table9"."t9cola1" = clob "Tasks",
"table9"."t9cola91" >= timestamp(7) "2012-01-01 04:32:27.000000",
"table10"."t10cola91" <= timestamp(7) "2013-01-01 04:32:27.000000") or
("table9"."t9cola1" = clob "Events", timestamp(7) "2012-01-01 04:32:27.000000"
<= "table11"."t11cola91" <= timestamp(7) "2013-01-01 04:32:27.000000" BETWEEN
)) or ("table9"."t9cola1" = clob "Calls", timestamp(7) "2012-01-01
04:32:27.000000" <= "table10"."t10cola91" <= timestamp(7) "2013-01-01
04:32:27.000000" BETWEEN )), "table1"."t1cold111" in (bigint
"15842000014793046" as "%2"."%2", bigint "15842000017701488" as "%3"."%3",
bigint "15842000000024019" as "%4"."%4", bigint "15842000000074007" as
"%5"."%5", bigint "15842000009358096" as "%6"."%6", bigint "15842000010487625"
as "%7"."%7", bigint "15842000006731919" as "%10"."%10", bigint
"15842000002590112" as "%11"."%11", bigint "15842000000019001" as "%12"."%12",
bigint "15842000014923682" as "%13"."%13", bigint "15842000027547249" as
"%14"."%14")) or ("table12"."t12cola1" in (clob[bigint "15842000280111951"],
clob[bigint "15842000280163015"])) ]
+| | ) [ (((((((((((((((char["table1"."t1cold1"] as "table1"."t1cold1") FILTER
ilike (char "%a%", char "")) or ((char["table1"."t1cola1"] as
"table1"."t1cola1") FILTER ilike (char "%a%", char ""))) or
((char["table1"."t1colb1"] as "table1"."t1colb1") FILTER ilike (char "%a%",
char ""))) or ((char["table1"."t1cola11"] as "table1"."t1cola11") FILTER ilike
(char "%business%", char ""))) or ("table1"."t1colc91" >= timestamp(7)
"2016-03-21 05:00:00.000000")) or ("table1"."t1cola101" = tinyint "1")) or
((char["table1"."t1cola12"] as "table1"."t1cola12") FILTER ilike (char
"%Vijay%", char ""))) or ((char["table2"."t2cola1"] as "table2"."t2cola1") !
FILTER ilike (char "%gmail%", char ""), (char["table2"."t2cola1"] as
"table2"."t2cola1") ! FILTER ilike (char "%yahoo%", char ""))) or
((char["table2"."t2cola1"] as "table2"."t2cola1") FILTER ilike (char
"%efequitygroup.com%", char ""))) or ("table4"."t4cola1" = clob "Customer")) or
("table4"."t4cola2" ! * = clob "NULL")) or ("table2"."t2cola81" >= date
"2009-08-31")) or ((("table5"."t5cola1" = clob "BAT") or
((char["table5"."t5cola2"] as "table5"."t5cola2") FILTER ilike (char
"%AUSTRALIA%", char ""))) or ((char["table5"."t5cola2"] as "table5"."t5cola2")
FILTER ilike (char "%Monet%", char ""), "table5"."t5cola3" = clob "Facebook",
"table5"."t5cola5" = clob "new", "table5"."t5cola81" > date "2015-07-30"))) or
((("table10"."t10cola1" != clob "Completed", "table9"."t9cola1" = clob "Tasks",
"table9"."t9cola91" >= timestamp(7) "2012-01-01 04:32:27.000000",
"table10"."t10cola91" <= timestamp(7) "2013-01-01 04:32:27.000000") or
("table9"."t9cola1" = clob "Events", timestamp(7) "2012-01-01 04:32:27.000000"
<= "table11"."t11cola91" <= timestamp(7) "2013-01-01 04:32:27.000000" BETWEEN
)) or ("table9"."t9cola1" = clob "Calls", timestamp(7) "2012-01-01
04:32:27.000000" <= "table10"."t10cola91" <= timestamp(7) "2013-01-01
04:32:27.000000" BETWEEN )), "table1"."t1cold111" in (bigint
"15842000014793046" as "%2"."%2", bigint "15842000017701488" as "%3"."%3",
bigint "15842000000024019" as "%4"."%4", bigint "15842000000074007" as
"%5"."%5", bigint "15842000009358096" as "%6"."%6", bigint "15842000010487625"
as "%7"."%7", bigint "15842000006731919" as "%10"."%10", bigint
"15842000002590112" as "%11"."%11", bigint "15842000000019001" as "%12"."%12",
bigint "15842000014923682" as "%13"."%13", bigint "15842000027547249" as
"%14"."%14")) or ("table12"."t12cola1" in (clob[bigint "15842000280111951"] NOT
NULL, clob[bigint "15842000280163015"] NOT NULL)) ]
| ) [ "table1"."t1pkcol" NOT NULL HASHCOL , "table1"."t1cola82",
"table2"."t2cola10", "table1"."t1cola1", "table1"."t1cola91", "a1"."t3cola1" ]
[ "table2"."t2cola82" NULLS LAST ]
) [ bigint "10", bigint "0" ]
#ROLLBACK;
diff --git a/sql/test/SQLancer/Tests/sqlancer01.stable.out
b/sql/test/SQLancer/Tests/sqlancer01.stable.out
--- a/sql/test/SQLancer/Tests/sqlancer01.stable.out
+++ b/sql/test/SQLancer/Tests/sqlancer01.stable.out
@@ -74,8 +74,8 @@ stdout of test 'sqlancer01` in directory
[ 4 ]
#START TRANSACTION;
#select 1 from integers where (((0.7161494983624688) in (integers.i)) = true)
= false;
-% .%4 # table_name
-% %4 # name
+% .%3 # table_name
+% %3 # name
% tinyint # type
% 1 # length
[ 1 ]
@@ -208,13 +208,13 @@ stdout of test 'sqlancer01` in directory
#select all integers.i from another_t inner join integers on
((another_t.col3)<=(cast((another_t.col4) between symmetric
(cast(0.29924480503501805 as int)) and (another_t.col3) as int)))
#where true union all select all integers.i from another_t join integers on
((another_t.col3)<=(cast((another_t.col4) between symmetric
(cast(0.29924480503501805 as int)) and (another_t.col3) as int)))
#where not (true) union all select all integers.i from another_t join integers
on ((another_t.col3)<=(cast((another_t.col4) between symmetric
(cast(0.29924480503501805 as int)) and (another_t.col3) as int))) where (true)
is null;
-% .%26 # table_name
+% .%20 # table_name
% i # name
% int # type
% 1 # length
#select 1 from another_t join integers on (cast(another_t.col4 between 1 and 2
as int)) where false;
-% .%11 # table_name
-% %11 # name
+% .%2 # table_name
+% %2 # name
% tinyint # type
% 1 # length
#SELECT another_T.col2 FROM tbl_productsales, integers LEFT OUTER JOIN
another_T ON another_T.col1 > 1 WHERE another_T.col2 > 1 GROUP BY
another_T.col2 HAVING COUNT((another_T.col2) IN (another_T.col2)) > 0;
@@ -315,14 +315,14 @@ stdout of test 'sqlancer01` in directory
[ 1 ]
#select all count(all 0.5923759) from v0 left outer join t0 on (('1')||
#cast((0.95672141382556563637962199209141544997692108154296875) in
(0.93132256561636328484610203304328024387359619140625, t0.c0) as varchar(32))
like('jBlZöx TW9*ࡈxw㟩*'));
-% .%7 # table_name
-% %7 # name
+% .%5 # table_name
+% %5 # name
% bigint # type
% 1 # length
[ 1 ]
#select 1 from v0 join t0 on (((substr('1', 1, v0.c0)) || (1) in (1, t0.c0))
like 'a'); --simplified
-% .%10 # table_name
-% %10 # name
+% .%4 # table_name
+% %4 # name
% tinyint # type
% 1 # length
#ROLLBACK;
@@ -386,7 +386,7 @@ stdout of test 'sqlancer01` in directory
[ 0.189 ]
[ 0.493 ]
#SELECT count(*) FROM t0 WHERE (NOT (CAST((t0.c1) IS NULL AS BOOLEAN))) IS
NULL; --simplified
-% sys.%1 # table_name
+% .%1 # table_name
% %1 # name
% bigint # type
% 1 # length
@@ -584,18 +584,18 @@ stdout of test 'sqlancer01` in directory
#CREATE TABLE t0("c0" DOUBLE PRECISION, "c1" VARCHAR(496));
#create view v0(c0, c1) as (select all t0.c0, r'epfNW⟚榢tptPbC{5{ZW}6,R' from
t0) with check option;
#select 1 from v0 full outer join t0 on (cast(('a') in ('a') as string) ilike
v0.c0);
-% .%11 # table_name
-% %11 # name
+% .%4 # table_name
+% %4 # name
% tinyint # type
% 1 # length
#select 1 from v0 full outer join t0 on cast((v0.c1) in (1) as string) like
v0.c0;
-% .%6 # table_name
-% %6 # name
+% .%4 # table_name
+% %4 # name
% tinyint # type
% 1 # length
#select cast(sum(all + (cast(t0.c0 as int))) as bigint) from v0 full outer
join t0 on ((cast((cast(v0.c1 as boolean)) not in (true, ((t0.c0)=(t0.c0)),
cast(1745166981 as boolean)) as string))ilike(v0.c0));
-% .%14 # table_name
-% %14 # name
+% .%12 # table_name
+% %12 # name
% bigint # type
% 1 # length
[ NULL ]
@@ -619,8 +619,8 @@ stdout of test 'sqlancer01` in directory
#create view v0(c0) as (select distinct 0.4 from t0 where
((t0.c0)and((((lower(t0.c1))||(((((-69891801)/(1210439951)))+(cast(0.5895729273161221
as int)))))) between symmetric (cast(0.3 as string)) and (greatest(t0.c1,
((t0.c1)||(-2045486895)))))));
#create view v1(c0) as (select distinct t0.c1 from t0 where t0.c0);
#select max(all abs(+ (- (- (-1620427795))))) from v0, t0 join v1 on
((((v1.c0)||(t0.c1)))ilike(v1.c0));
-% .%5 # table_name
-% %5 # name
+% .%3 # table_name
+% %3 # name
% int # type
% 1 # length
[ NULL ]
diff --git a/sql/test/Tests/keys.stable.out b/sql/test/Tests/keys.stable.out
--- a/sql/test/Tests/keys.stable.out
+++ b/sql/test/Tests/keys.stable.out
@@ -142,13 +142,13 @@ project (
% .plan # table_name
% rel # name
% clob # type
-% 129 # length
+% 138 # length
project (
| group by (
| | project (
| | | table(sys.dummyme) [ "dummyme"."a" NOT NULL HASHCOL ] COUNT
-| | ) [ bigint["dummyme"."a" NOT NULL HASHCOL ] NOT NULL as "%3"."%3",
sys.sql_add("%3"."%3" NOT NULL, bigint "1") as "%2"."%2" ]
-| ) [ ] [ sys.count unique no nil ("%2"."%2") NOT NULL as "%1"."%1" ]
+| | ) [ bigint["dummyme"."a" NOT NULL HASHCOL ] NOT NULL as "%3"."%3",
sys.sql_add("%3"."%3" NOT NULL, bigint "1") NOT NULL as "%2"."%2" ]
+| ) [ ] [ sys.count unique no nil ("%2"."%2" NOT NULL) NOT NULL as "%1"."%1"
]
) [ "%1"."%1" NOT NULL ]
#plan select count(distinct a + b) from dummyme;
% .plan # table_name
diff --git a/sql/test/merge-partitions/Tests/mergepart31.stable.out
b/sql/test/merge-partitions/Tests/mergepart31.stable.out
--- a/sql/test/merge-partitions/Tests/mergepart31.stable.out
+++ b/sql/test/merge-partitions/Tests/mergepart31.stable.out
@@ -53,7 +53,7 @@ union (
| | | table(sys.second_decade) [ "second_decade"."stamp" as "splitted"."stamp"
] COUNT
| | ) [ "splitted"."stamp" in (timestamp(7) "2000-01-01 00:00:00.000000" as
"%2"."%2", timestamp(7) "2010-01-01 00:00:00.000000" as "%3"."%3") ]
| ) [ tinyint "1" ]
-) [ "%6"."%6" ]
+) [ "%6"."%6" NOT NULL ]
#plan select 1 from splitted where stamp IN (TIMESTAMP '2000-02-01 00:00:00',
TIMESTAMP '2010-02-01 00:00:00', TIMESTAMP '2020-02-01 00:00:00'); --nothing
gets pruned
% .plan # table_name
% rel # name
@@ -71,13 +71,13 @@ union (
| | | | table(sys.second_decade) [ "second_decade"."stamp" as
"splitted"."stamp" ] COUNT
| | | ) [ "splitted"."stamp" in (timestamp(7) "2000-02-01 00:00:00.000000" as
"%2"."%2", timestamp(7) "2010-02-01 00:00:00.000000" as "%3"."%3", timestamp(7)
"2020-02-01 00:00:00.000000" as "%4"."%4") ]
| | ) [ tinyint "1" ]
-| ) [ "%11"."%11" ],
+| ) [ "%11"."%11" NOT NULL ],
| project (
| | select (
| | | table(sys.third_decade) [ "third_decade"."stamp" as "splitted"."stamp" ]
COUNT
| | ) [ "splitted"."stamp" in (timestamp(7) "2000-02-01 00:00:00.000000" as
"%2"."%2", timestamp(7) "2010-02-01 00:00:00.000000" as "%3"."%3", timestamp(7)
"2020-02-01 00:00:00.000000" as "%4"."%4") ]
| ) [ tinyint "1" ]
-) [ "%10"."%10" ]
+) [ "%10"."%10" NOT NULL ]
#plan select 1 from splitted where stamp BETWEEN TIMESTAMP '2020-01-01
00:00:00' AND TIMESTAMP '2020-10-01 00:00:00'; --only third child passes
% .plan # table_name
% rel # name
@@ -104,7 +104,7 @@ union (
| | | table(sys.second_decade) [ "second_decade"."stamp" as "splitted"."stamp"
] COUNT
| | ) [ timestamp(7) "2020-01-01 00:00:00.000000" ! <= "splitted"."stamp" ! <=
timestamp(7) "2020-10-01 00:00:00.000000" BETWEEN ]
| ) [ tinyint "1" ]
-) [ "%3"."%3" ]
+) [ "%3"."%3" NOT NULL ]
#plan select 1 from splitted where stamp BETWEEN TIMESTAMP '2010-01-01
00:00:00' AND TIMESTAMP '2020-03-01 00:00:00'; --first child pruned
% .plan # table_name
% rel # name
@@ -121,7 +121,7 @@ union (
| | | table(sys.third_decade) [ "third_decade"."stamp" as "splitted"."stamp" ]
COUNT
| | ) [ timestamp(7) "2010-01-01 00:00:00.000000" <= "splitted"."stamp" <=
timestamp(7) "2020-03-01 00:00:00.000000" BETWEEN ]
| ) [ tinyint "1" ]
-) [ "%3"."%3" ]
+) [ "%3"."%3" NOT NULL ]
#plan select 1 from splitted where stamp BETWEEN TIMESTAMP '2000-02-01
00:00:00' AND TIMESTAMP '2020-03-01 00:00:00'; --nothing gets pruned
% .plan # table_name
% rel # name
@@ -139,13 +139,13 @@ union (
| | | | table(sys.second_decade) [ "second_decade"."stamp" as
"splitted"."stamp" ] COUNT
| | | ) [ timestamp(7) "2000-02-01 00:00:00.000000" <= "splitted"."stamp" <=
timestamp(7) "2020-03-01 00:00:00.000000" BETWEEN ]
| | ) [ tinyint "1" ]
-| ) [ "%5"."%5" ],
+| ) [ "%5"."%5" NOT NULL ],
| project (
| | select (
| | | table(sys.third_decade) [ "third_decade"."stamp" as "splitted"."stamp" ]
COUNT
| | ) [ timestamp(7) "2000-02-01 00:00:00.000000" <= "splitted"."stamp" <=
timestamp(7) "2020-03-01 00:00:00.000000" BETWEEN ]
| ) [ tinyint "1" ]
-) [ "%4"."%4" ]
+) [ "%4"."%4" NOT NULL ]
#plan select 1 from splitted where stamp NOT BETWEEN TIMESTAMP '2000-02-01
00:00:00' AND TIMESTAMP '2020-03-01 00:00:00'; --all children pruned
% .plan # table_name
% rel # name
@@ -177,7 +177,7 @@ union (
| | | table(sys.third_decade) [ "third_decade"."stamp" as "splitted"."stamp" ]
COUNT
| | ) [ "splitted"."stamp" > timestamp(7) "2010-03-01 00:00:00.000000" ]
| ) [ tinyint "1" ]
-) [ "%3"."%3" ]
+) [ "%3"."%3" NOT NULL ]
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
