norm
SELECT * FROM (VALUES (1, 2), (1, 2), (1, 3), (2, 3)) AS q(x, y) WHERE x = 5 AND y = 3
----
select
 ├── columns: x:1(int!null) y:2(int!null)
 ├── cardinality: [0 - 4]
 ├── stats: [rows=1, distinct(1)=1, distinct(2)=1]
 ├── fd: ()-->(1,2)
 ├── values
 │    ├── columns: column1:1(int) column2:2(int)
 │    ├── cardinality: [4 - 4]
 │    ├── stats: [rows=4, distinct(1)=2, distinct(2)=2]
 │    ├── (1, 2) [type=tuple{int, int}]
 │    ├── (1, 2) [type=tuple{int, int}]
 │    ├── (1, 3) [type=tuple{int, int}]
 │    └── (2, 3) [type=tuple{int, int}]
 └── filters [type=bool, outer=(1,2), constraints=(/1: [/5 - /5]; /2: [/3 - /3]; tight), fd=()-->(1,2)]
      ├── column1 = 5 [type=bool, outer=(1), constraints=(/1: [/5 - /5]; tight)]
      └── column2 = 3 [type=bool, outer=(2), constraints=(/2: [/3 - /3]; tight)]

norm
SELECT x, y FROM (VALUES (1, 2), (1, 2), (1, 3), (2, 3)) AS q(x, y) GROUP BY x, y
----
distinct-on
 ├── columns: x:1(int) y:2(int)
 ├── grouping columns: column1:1(int) column2:2(int)
 ├── cardinality: [1 - 4]
 ├── stats: [rows=3, distinct(1,2)=3]
 ├── key: (1,2)
 └── values
      ├── columns: column1:1(int) column2:2(int)
      ├── cardinality: [4 - 4]
      ├── stats: [rows=4, distinct(1,2)=3]
      ├── (1, 2) [type=tuple{int, int}]
      ├── (1, 2) [type=tuple{int, int}]
      ├── (1, 3) [type=tuple{int, int}]
      └── (2, 3) [type=tuple{int, int}]

norm
SELECT * FROM (VALUES (1), (1), (1), (2))
----
values
 ├── columns: column1:1(int)
 ├── cardinality: [4 - 4]
 ├── stats: [rows=4]
 ├── (1,) [type=tuple{int}]
 ├── (1,) [type=tuple{int}]
 ├── (1,) [type=tuple{int}]
 └── (2,) [type=tuple{int}]

norm
SELECT * FROM (VALUES (1), (1), (1), (2)) AS q(x) WHERE x = 1
----
select
 ├── columns: x:1(int!null)
 ├── cardinality: [0 - 4]
 ├── stats: [rows=2, distinct(1)=1]
 ├── fd: ()-->(1)
 ├── values
 │    ├── columns: column1:1(int)
 │    ├── cardinality: [4 - 4]
 │    ├── stats: [rows=4, distinct(1)=2]
 │    ├── (1,) [type=tuple{int}]
 │    ├── (1,) [type=tuple{int}]
 │    ├── (1,) [type=tuple{int}]
 │    └── (2,) [type=tuple{int}]
 └── filters [type=bool, outer=(1), constraints=(/1: [/1 - /1]; tight), fd=()-->(1)]
      └── column1 = 1 [type=bool, outer=(1), constraints=(/1: [/1 - /1]; tight)]
