MySQL特性--on update current_timestamp · Pull Request !1898 · openGauss/openGauss-server

### on update current_timestamp

**【 实现内容 】** :
1 建表时，可以指定字段on update current_timestamp属性
2 执行update操作时，如果该字段值是缺省状态，则自动填充current_timestamp当前时间截
3 当执行update操作时，如果该字段值是操作给定的，则填充update操作给定值
4 当执行update操作时，如果update后的修改值与修改前的值没有改变(即update前后值一样)，则on update current_timestamp不填充时间截

**【 根因分析 】** :
兼容MySQL特性，方便移植MySQL数据库。
 **【 修改方案 】** :

on update current_timestamp特性参照生成列实现
根据语法解析处的targetList，从updatedCols获取update操作set的字段，判断on update current_timestamp属性列是否给定值，和修改前修改后的元组是否相等
 **【 关联issue 】** :
[MySQL兼容特性](https://gitee.com/opengauss/openGauss-server/issues/I4UHMM)

### 特性设计

### 考虑生成列的实现

OpenGauss数据库的生成列在ExecUpdate函数处调用ExecComputeStoredGenerated实现。
实现步骤：
1)遍历表的每一列，找到有生成列的字段。
2)遍历有生成列的字段，计算每一个生成列表达式的值values。
3)把表达式的值values和替换标识replaces，调用tableam_tops_modify_tuple去组装成newtuple(此处的tuple已经是update操作修改后的元组，这里只是做生成列表达式的值对元组的替换)。
4)存储newtuple到slot中。并用slot->tts_tuple替换ExecUpdate中的tuple。进行后续的update操作。

### 系统表pg_attrdef设计

在系统表pg_attrdef新增两列adbin_on_update，adsrc_on_update。
adbin_on_update存储表达式转换成字符串格式
adsrc_on_update存储表达式名称

### Pg_attrdef为何如此设计
 ？
系统表pg_attrdef是存储列的默认值。列的默认值是表达式时，则表达式名称存储在adsrc字段中，表达式的字符串格式存储在adbin字段中。
1 当字段有default current_timestamp on update current_timestamp时，default的表达式与on update的表达式都要存储。当default与on update表达式不一样时，则需要分别对该字段的两个默认值名称存储，故需要对系统表pg_attrdef添加一个字段adsrc_on_update，存储on update默认表达式名称。
2 当字段有default expr属性时，pg_attrdef是根据adbin来直接取表达式，后续计算其值填充insert的默认值的。如果把adsrc_on_update存的表达式转换成string存储在adbin，会在两个方面影响default功能。
### 影响用例

2.1 create table t1(a timestamp on update now());
如果把on update的表达式now()的string格式存储在adbin时，会直接影响default表达式。会出现表t1自带default now()属性。而表t1并没有default属性。故对于default与on update的adbin要分开存储。
2.2 create table t2(a timestamp default current_timestamp on update now());
如果default expr_a on update expr_b两个表达式不同时，也需要分别对default和on update两个属性分别存储。

### 功能设计

on update默认值设计
on update expression功能有3部分
1 当执行update操作时，如果该字段有on update expr属性，并且该字段的值没有被修改，则默认填充expr表达式的值。
2 当执行update操作时，如果该字段有on update expr属性，但在update时，设置了该字段的值，则填充update的给定值。
3 当执行update操作时，如果该字段有on update expr属性，其它字段的值被修改，但是修改前的值与修改后的值没变，并且有on update expr属性的字段缺省。则该字段的时间截保持不变。即：
create table test(a int, b timestamp on update current_timestamp);
insert into test values(1, now());
insert into test values(2);
update test set a = 1 where a=1;(此时a=1的元组，修改前后a的值没有改变，故b的值还是为insert时的时间截)
Update test set a = 2 where a=2;(此时a=2的元组，修改前后a的值没有改变，故b的值还是为空)

### 默认值场景填充设计

在execupdate函数处，借鉴生成列的实现，遍历update的表的每一个字段是否有表达式，如果有表达式，则计算表达式的值，把新值组成newtuple并存储表的元组中。
代码实现 ：
ExecUpdate函数处调用ExecComputeStoredUpdateExpr，通过RecoredUpdateExpr从pg_attrdef中取出on update表达式和该表具有on update expr的字段数量。然后遍历表的每一列，当该列有on update表达式时，则计算表达式值，组成newtuple，存储到目标表对应的元组。

### update给定值场景设计

由于on update采用生成列设计实现，所以当update给定该字段新值时，并不会把新值填充到该元组，而是依然填充默认表达式的值。从执行层中取得bitmapset updatedCols，获取update操作set的字段。当遍历表所有列时，如果该列号是update给定值的列号，则跳过不计算表达式值。
代码实现 ：
ExecComputeStoredUpdateExpr处通过判断updatedCols里存储的列号，是否等于遍历表的列号，来处理计算表达式是否跳过。

### update修改值不变场景设计

因为mysql的update功能，在set的字段值与旧值相等时，不会执行update操作，所以on update current_timestamp不会修改时间截。但是在openGauss的update中，在set的字段值与旧值相等时，会执行update操作。所以会造成on update current_timestamp时间截修改。所以在存储表达式值时，会结合updatedCols记录的set的列号，取newvalue和oldvalue进行对比，如果相等，刚跳过表达式tuple替换ExecUpdate的tuple。
代码实现 ：
在ExecComputeStoredUpdateExpr处，通过GetTupleForTrigger获取update修改该元组的oldtup。用heap_deform_tuple从oldtup中取得每一列的值内容。遍历表每一列等于update修改列的编号时，通过OpernameGetOprid根据该字段的typeoid和判断行为(“=”)，找到该函数的oprcom，用get_opcode交oprcom获取操作函数的oid。通过该操作函数比较该列的newvalue和oldvalue是否相等match(相等为true,不相等为false)。把match和true做按位与操作。即match & true。如果update修改的所有字段match都为true则表示update修改前后值不变。如果update修改的字段中有一个match为false，则表示修改元组有改变。update_fix_result存储update的修改新旧元组是否有修改。如果有改变则ExecUpdate替换原来tuple。没有改变则不替换。
如果字段值设置为NULL，则直接通过IsNull数组判断是否old和new tuple相等。

### 表结构查询扩展

在gsql客户端，\d table_name查看表结构时，添加了on update expresseion内容。

openGauss/openGauss-server .gitee-modal { width: 500px !important; }

搜索帮助

openGauss/openGauss-server