Chi Zhang

I am not sure about the reason, because I find this test case also can trigger the bug: ``` .decl a(x:unsigned) inline .decl b(x:unsigned) a(0). b(max(max(x,0),0)) :- a(x). .output b...

I find if I remove the subsumption of `vdvr`, the program can execute correctly with `-t none`.

Hi, I reduce the program, hope this can help you fix this bug. ``` .decl yemn(A:unsigned) .decl vdvr(A:unsigned, B:unsigned, C:unsigned) yemn(0). vdvr(B, B, B) :- yemn(B). vdvr(B, B, B1)

I am very glad that this finding can help you and hope that other findings can be useful to you as well.

Not only TiDB, but also SQLite, DuckDB, CockroachDB, and MySQL. I just tried these DBMSs and all of them triggered this bug, so I guess this is not the issue...