issue-20250919

[mppdb@ecs-8869-0009 gaussdb]$ cat txinfer8.log 

--java.lang.AssertionError: Transaction execution mismatches its oracle

-- at dbmsforge.gaussdb.oracle.GaussDBTxInferOracle.check(GaussDBTxInferOracle.java:119)

-- at dbmsforge.common.DatabaseTestTask.runDatabaseTest(DatabaseTestTask.java:70)

-- at dbmsforge.common.DatabaseTestTask.run(DatabaseTestTask.java:38)

-- at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)

-- at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)

-- at java.base/java.lang.Thread.run(Thread.java:834)

---- Time: 2025/09/19 10:43:32

-- Database: txinfer8

============Bug Report============

CREATE TABLE IF NOT EXISTS t20 (c1 SMALLINT ARRAY UNIQUE, c2 REAL, PRIMARY KEY (c1, c2)) WITH (ORIENTATION=ROW) DISTRIBUTE BY REPLICATION;

CREATE TABLE IF NOT EXISTS t21 (c1 BYTEA NULL, c2 BIGSERIAL, c3 NVARCHAR2 (10) NULL, PRIMARY KEY (c1, c3, c2)) WITH (ORIENTATION=ROW) DISTRIBUTE BY REPLICATION;

CREATE TABLE IF NOT EXISTS t22 (c1 TINYINT, c2 CHAR NULL) WITH (ORIENTATION=ROW) DISTRIBUTE BY ROUNDROBIN;

INSERT INTO t20 (c1,c2) VALUES ('{-9273,30649,-23931,-13036,16723,21977,-31388}',3.1189087E38), ('{-17855,-5775,5629,-18484,-6864,-27782}',1.2935146E37);

INSERT INTO t22 (c1,c2) VALUES (207,'7'), (58,'o'), (65,'K');

INSERT INTO t20 (c1,c2) VALUES ('{25431}',2.6707924E38);

INSERT INTO t22 (c1,c2) VALUES (57,'d'), (21,'x');

INSERT INTO t20 (c1,c2) VALUES ('{-30108}',1.7547158E38);

INSERT INTO t22 (c1,c2) VALUES (222,'J');

INSERT INTO t21 (c1,c2,c3) VALUES ('gAQS',1,'b6');

INSERT INTO t21 (c1,c2,c3) VALUES ('9yG3F24',2,'0Gh');

INSERT INTO t20 (c1,c2) VALUES ('{24928,-10996}',8.1157623E37);

INSERT INTO t22 (c1,c2) VALUES (31,'G');

INSERT INTO t22 (c1,c2) VALUES (45,'V'), (111,'A'), (49,'W');

INSERT INTO t22 (c1,c2) VALUES (36,'V'), (144,'B'), (241,'G');

INSERT INTO t20 (c1,c2) VALUES ('{-28056,12678,-24632,-12351,-6355}',3.071873E38);

INSERT INTO t21 (c1,c2,c3) VALUES ('WP4281i',3,'ZJmHoxI'), ('9PZ',4,'D');

INSERT INTO t22 (c1,c2) VALUES (15,'0');

INSERT INTO t22 (c1,c2) VALUES (162,'M');

INSERT INTO t22 (c1,c2) VALUES (92,'Y');

INSERT INTO t22 (c1,c2) VALUES (16,'I');

INSERT INTO t22 (c1,c2) VALUES (43,'c'), (239,'c');

INSERT INTO t22 (c1,c2) VALUES (200,'T');

 -- Transaction 69, with statements:

BEGIN WORK;

DELETE FROM ONLY t20;

ROLLBACK TRANSACTION;

 -- Transaction 70, with statements:

BEGIN;

SELECT ALL t20.c2 AS ca1, t20.c1 AS ca2 FROM ONLY t21, t20 LIMIT ALL;

SELECT ALL c1 AS ca1 FROM ONLY t21 LIMIT 3132476056, 493900672;

INSERT INTO t20 (c1,c2) VALUES ('{}',2.0256726E38), ('{22158}',12.991), ('{-19158,-22149,-5261,17012,25328,-4841}',3.3829475E38);

COMMIT;

Input schedule: [70-0, 69-0, 69-1, 69-2, 70-1, 70-2, 70-3, 70-4]

Error: Inconsistent final database state in t22

Error: The size of query results is different

Execution Result:

Schedule: [70-0, 69-0, 69-1, 69-2, 70-1, 70-2, 70-3, 70-4]

Isolation Level: READ_COMMITTED

Transaction Statement Results:

DB Final State: [t21: [0x67415153, 1, b6, 0x39794733463234, 2, 0Gh, 0x57503432383169, 3, ZJmHoxI, 0x39505A, 4, D] t20: [{-9273,30649,-23931,-13036,16723,21977,-31388}, 3.11891E38, {-17855,-5775,5629,-18484,-6864,-27782}, 1.29351E37, {25431}, 2.67079E38, {-30108}, 1.75472E38, {24928,-10996}, 8.11576E37, {-28056,12678,-24632,-12351,-6355}, 3.07187E38, {}, 2.02567E38, {22158}, 12.991, {-19158,-22149,-5261,17012,25328,-4841}, 3.38295E38] t22: [65, K, 57, d, 31, G, 45, V, 111, A, 36, V, 144, B, 162, M, 16, I, 43, c, 207, 7, 58, o, 21, x, 222, J, 49, W, 241, G, 15, 0, 92, Y, 239, c, 200, T] ]

Oracle Result:

Schedule: [70-0, 69-0, 69-1, 69-2, 70-1, 70-2, 70-3, 70-4]

Isolation Level: READ_COMMITTED

Transaction Statement Results:

DB Final State: [t21: [0x67415153, 1, b6, 0x39794733463234, 2, 0Gh, 0x57503432383169, 3, ZJmHoxI, 0x39505A, 4, D] t20: [{-9273,30649,-23931,-13036,16723,21977,-31388}, 3.11891E38, {-17855,-5775,5629,-18484,-6864,-27782}, 1.29351E37, {25431}, 2.67079E38, {-30108}, 1.75472E38, {24928,-10996}, 8.11576E37, {-28056,12678,-24632,-12351,-6355}, 3.07187E38, {}, 2.02567E38, {22158}, 12.991, {-19158,-22149,-5261,17012,25328,-4841}, 3.38295E38] t22: [58, o, 57, d, 21, x, 31, G, 45, V, 49, W, 36, V, 144, B, 92, Y, 16, I, 207, 7, 65, K, 222, J, 111, A, 241, G, 15, 0, 162, M, 239, c, 200, T] ]