File: truth_value_transform.test

package info (click to toggle)
mysql-8.0 8.0.43-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 1,273,924 kB
  • sloc: cpp: 4,684,605; ansic: 412,450; pascal: 108,398; java: 83,641; perl: 30,221; cs: 27,067; sql: 26,594; sh: 24,181; python: 21,816; yacc: 17,169; php: 11,522; xml: 7,388; javascript: 7,076; makefile: 2,194; lex: 1,075; awk: 670; asm: 520; objc: 183; ruby: 97; lisp: 86
file content (32 lines) | stat: -rw-r--r-- 936 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
 
# Test how boolean tests IS TRUE, IS FALSE, get merged into the
# underlying expression.

create table t1(id int, a int);
insert into t1 values(1,1),(2,2),(3,null);
analyze table t1;

# Note that x=y binds tighter than x IS TRUE which binds tighter than NOT x.

explain select id, a=1 is false from t1 ;
select id, a=1 is false from t1 ;

explain select id, not (a=1 is true) from t1 ;
select id, not (a=1 is true) from t1 ;

explain select id, (not a=1) is true from t1 ;
select id, (not a=1) is true from t1 ;

explain select id, not (a=1 is false) from t1 ;
select id, not (a=1 is false) from t1 ;

explain select id, not (a=1 is unknown) from t1 ;
select id, not (a=1 is unknown) from t1 ;

explain select id, ((not a=1) is true) is false from t1 ;
select id, ((not a=1) is true) is false from t1 ;

# Works deeper:
explain select id, 3 + (not (a=1 is false)) from t1 ;
select id, 3 + (not (a=1 is false)) from t1 ;

drop table t1;