2010YOUY01 commented on issue #11275:
URL: https://github.com/apache/datafusion/issues/11275#issuecomment-2210117637
Note to myself: check if the original bug is fixed after this issue is
resolved
```
NoREC oracle violated:
Q1(result size 120):/*NoREC Q1*/SELECT t2.v0, t0.v0, t1.v0, t1.v2, t0.v1
FROM t0, t1, t2 WHERE ((((t0.v2)<(t0.v1)))<=((((NOT t2.v0))IS NOT DISTINCT
FROM(t0.v2))));
Q2(result size 90):/*NoREC Q2*/SELECT COALESCE(SUM(count),0) FROM
(SELECT ((((((t0.v2)<(t0.v1)))<=((((NOT t2.v0))IS NOT DISTINCT FROM(t0.v2))))
IS NOT NULL AND ((((t0.v2)<(t0.v1)))<=((((NOT t2.v0))IS NOT DISTINCT
FROM(t0.v2))))) ::BIGINT)as count FROM t0, t1, t2) as res;
========================================
Table: t0
v0 (BOOLEAN), v1 (BOOLEAN), v2 (BOOLEAN)
null, true, false
true, null, null
null, true, false
null, true, false
null, null, false
null, false, null
----------------------------------------
Table: t1
v0 (BIGINT), v1 (BIGINT), v2 (BOOLEAN)
2017503438, null, false
71566204, null, false
null, null, false
1639867968, 352021981, false
null, 1374343992, null
-921585771, 1374343992, false
----------------------------------------
Table: t2
v0 (BOOLEAN)
false
true
true
true
false
false
false
true
true
----------------------------------------
```
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: github-unsubscr...@datafusion.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: github-unsubscr...@datafusion.apache.org
For additional commands, e-mail: github-h...@datafusion.apache.org
