#### db_type: oracle #### #### test_type: sda_lost_update_c1 #### #### isolation: read-committed #### current_result: The query result of the current SQL statement. Each row of table is separated by a space, and the fields in each row are separated by commas expected_result: The expected result is the expected query result for each SQL that conforms to the serializability theory ----------wat_sda_lost_update_c1 test prepare---------- Q0-T1 execute sql: 'DROP TABLE t1;' Q0-T1 execute sql: 'CREATE TABLE t1 (k INT PRIMARY KEY, v INT);' Q0-T1 execute sql: 'INSERT INTO t1 VALUES (0, 0);' Q0-T1 execute opt: 'COMMIT;' ----------wat_sda_lost_update_c1 test run---------- Q1-T1 execute opt: 'BEGIN;' Q1 finished at: 2022-5-20 15:16:9:817:90 Q2-T1 execute sql: 'SELECT * FROM t1 WHERE k=0;' current_result: (0,0) *(1) expected_result: (0,0) (2) expected_result: (0,2) Q2 finished at: 2022-5-20 15:16:9:820:655 Q3-T2 execute opt: 'BEGIN;' Q3 finished at: 2022-5-20 15:16:9:917:67 Q4-T2 execute sql: 'UPDATE t1 SET v=2 WHERE k=0;' Q4 finished at: 2022-5-20 15:16:9:921:96 Q5-T1 execute sql: 'UPDATE t1 SET v=1 WHERE k=0;' Q7-T2 execute opt: 'COMMIT;' Q5 finished at: 2022-5-20 15:16:10:120:956 Q6-T1 execute opt: 'COMMIT;' Q8-T3 execute sql: 'SELECT * FROM t1;' current_result: (0,1) (1) expected_result: (0,2) *(2) expected_result: (0,1) Q8 finished at: 2022-5-20 15:16:10:128:30 Q9-T3 execute opt: 'COMMIT;' Test Result: Anomaly Reason: Data anomaly is not recognized by the database, resulting in data inconsistencies