mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-12-02 04:22:03 +00:00
73 lines
2.3 KiB
SQL
73 lines
2.3 KiB
SQL
DROP TABLE IF EXISTS 03161_table;
|
|
|
|
CREATE TABLE 03161_table (id UInt32, f UInt8) ENGINE = Memory;
|
|
|
|
INSERT INTO 03161_table VALUES (0, 0), (1, 1), (2, 0);
|
|
|
|
SELECT '-- Expected plan with analyzer:';
|
|
|
|
EXPLAIN SYNTAX
|
|
SELECT id
|
|
FROM 03161_table
|
|
WHERE f AND (NOT(f) OR f)
|
|
SETTINGS convert_query_to_cnf = 1, optimize_using_constraints = 1, allow_experimental_analyzer = 1;
|
|
|
|
SELECT '';
|
|
|
|
SELECT '-- Expected result with analyzer:';
|
|
|
|
SELECT id
|
|
FROM 03161_table
|
|
WHERE f AND (NOT(f) OR f)
|
|
SETTINGS convert_query_to_cnf = 1, optimize_using_constraints = 1, allow_experimental_analyzer = 1;
|
|
|
|
SELECT '';
|
|
|
|
SELECT '-- Expected plan w/o analyzer:';
|
|
|
|
EXPLAIN SYNTAX
|
|
SELECT id
|
|
FROM 03161_table
|
|
WHERE f AND (NOT(f) OR f)
|
|
SETTINGS convert_query_to_cnf = 1, optimize_using_constraints = 1, allow_experimental_analyzer = 0;
|
|
|
|
SELECT '';
|
|
|
|
SELECT '-- Expected result w/o analyzer:';
|
|
|
|
SELECT id
|
|
FROM 03161_table
|
|
WHERE f AND (NOT(f) OR f)
|
|
SETTINGS convert_query_to_cnf = 1, optimize_using_constraints = 1, allow_experimental_analyzer = 0;
|
|
|
|
DROP TABLE IF EXISTS 03161_table;
|
|
|
|
-- Checking reproducer from GitHub issue
|
|
-- https://github.com/ClickHouse/ClickHouse/issues/57400
|
|
|
|
DROP TABLE IF EXISTS 03161_reproducer;
|
|
|
|
CREATE TABLE 03161_reproducer (c0 UInt8, c1 UInt8, c2 UInt8, c3 UInt8, c4 UInt8, c5 UInt8, c6 UInt8, c7 UInt8, c8 UInt8, c9 UInt8) ENGINE = Memory;
|
|
|
|
INSERT INTO 03161_reproducer VALUES (0, 0, 0, 0, 0, 0, 0, 0, 0, 0), (0, 0, 0, 0, 0, 0, 0, 0, 0, 1), (0, 0, 0, 0, 0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 0, 0, 0, 1, 1), (0, 0, 0, 0, 0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 0, 0, 0, 1, 0, 1), (0, 0, 0, 0, 0, 0, 0, 1, 1, 0), (0, 0, 0, 0, 0, 0, 0, 1, 1, 1);
|
|
|
|
SELECT '';
|
|
|
|
SELECT '-- Reproducer from the issue with analyzer';
|
|
|
|
SELECT count()
|
|
FROM 03161_reproducer
|
|
WHERE ((NOT c2) AND c2 AND (NOT c1)) OR ((NOT c2) AND c3 AND (NOT c5)) OR ((NOT c7) AND (NOT c8)) OR (c9 AND c6 AND c8 AND (NOT c8) AND (NOT c7))
|
|
SETTINGS convert_query_to_cnf = 1, optimize_using_constraints = 1, allow_experimental_analyzer = 1;
|
|
|
|
SELECT '';
|
|
|
|
SELECT '-- Reproducer from the issue w/o analyzer';
|
|
|
|
SELECT count()
|
|
FROM 03161_reproducer
|
|
WHERE ((NOT c2) AND c2 AND (NOT c1)) OR ((NOT c2) AND c3 AND (NOT c5)) OR ((NOT c7) AND (NOT c8)) OR (c9 AND c6 AND c8 AND (NOT c8) AND (NOT c7))
|
|
SETTINGS convert_query_to_cnf = 1, optimize_using_constraints = 1, allow_experimental_analyzer = 0;
|
|
|
|
DROP TABLE IF EXISTS 03161_reproducer;
|