公开(公告)号：CN119848083A

公开(公告)日：2025-04-18

申请号：CN202411881351.8

申请日：2024-12-19

Applicant: 上海交通大学

Inventor： 王肇国 ,  魏卓然 ,  丁浩然 ,  陈海波

IPC: G06F16/2453 ,  G06F16/242

Abstract: 本发明提供了一种基于案例生成SQL改写规则用于SQL优化的方法及系统，包括：步骤S1：对输入的SQL查询语句进行解析生成逻辑计划；步骤S2：泛化逻辑计划对，直至无法继续泛化，将无法泛化的等价逻辑计划对用作改写规则；步骤S3：验证一对逻辑计划的等价性。本发明提出了基于等价SQL语句生成改写规则的方法，使得用户可以根据一对SQL语句来快速发现潜在的规则，避免了穷举所有可能的SQL语句或逻辑计划，极大提高了发现改写规则的效率。

公开(公告)号：CN116339931A

公开(公告)日：2023-06-27

申请号：CN202310465852.7

申请日：2023-04-26

Applicant: 上海交通大学

Inventor： 王肇国 ,  董致远 ,  许贤 ,  陈海波

IPC: G06F9/46

Abstract: 本发明提供了一种基于细粒度事务修复的分布式并发控制方法及系统，包括：步骤S1：计算节点接收用户请求，并根据请求内容执行事务操作；步骤S2：根据执行事务操作的结果，计算节点本地提交，并将本地提交的事务入队；步骤S3：当计算节点本地事务队列塞满后，将队列中的所有事务打包成一个批处理事务，并向存储节点全局提交批处理事务；如果批处理事务在全局提交过程中不能通过验证，则通过细粒度事务修复将批处理事务恢复到能够提交状态，继续提交批处理事务。本发明利用计算节点的本地缓存来减少事务执行期间读取存储节点数据操作带来的通信，从而降低了事务执行时延。

公开(公告)号：CN115202925A

公开(公告)日：2022-10-18

申请号：CN202110394608.7

申请日：2021-04-13

Applicant: 上海交通大学

Inventor： 王肇国 ,  金炜 ,  臧斌宇 ,  陈海波

IPC: G06F11/14 ,  G06F13/28

Abstract: 本发明提供了一种基于RDMA的支持细粒度容错的共识方法，从节点在选举主节点阶段会依次执行以下步骤：从节点检查本地保存的所有节点任期；对每一个其他节点，候选节点将自身任期通过RDMA写入该节点的选举相关元数据中；对每一个步骤3中的RDMA读请求，待读请求自节点返回后，候选节点分析选举相关元数据；候选节点统计所有投票，自身得到投票数超过所有节点总数的一半，则执行步骤6，否则执行步骤7；候选节点在本地保存的多份日志拷贝中选择其中最新的一份日志拷贝；结束选举主节点阶段。本发明通过无需等待地连续发送日志项和日志索引的两个RDMA写请求和一个RDMA读请求的方式，确保一个RDMA往返就可以完成日志备份，进一步降低了日志备份的网络通信时延。

公开(公告)号：CN114756581A

公开(公告)日：2022-07-15

申请号：CN202210427799.7

申请日：2022-04-22

Applicant: 上海交通大学

Inventor： 王肇国 ,  杨逸存 ,  陈海波

IPC: G06F16/2453 ,  G06F16/242

Abstract: 本发明提供了一种模板化数据库查询计划的等价性验证方法及系统，包括：步骤S1：将两个预设符号化查询计划树结构分别转换为两个无界半环表达式；步骤S2：将两个无界半环表达式构成的等式转换为一阶逻辑表达式；步骤S3：将约束集合转换为一阶逻辑表达式；步骤S4：基于两个无界半环表达式构成的一阶逻辑表达式和约束集合转换的一阶逻辑表达式形成了待求解的表示两个查询计划等价的一阶逻辑表达式；将待求解的一阶逻辑表达式利用SMT求解器求解，从而得到两个查询计划是否等价的结果；所述约束集合是符号化查询计划树结构内部的符号约束或一对符号化查询计划树结构之间的符号约束的集合。

公开(公告)号：CN112100188A

公开(公告)日：2020-12-18

申请号：CN202010905883.6

申请日：2020-09-01

Applicant: 上海交通大学

Inventor： 王肇国 ,  王嘉琛 ,  臧斌宇 ,  陈海波

IPC: G06F16/23 ,  G06F16/2455 ,  G06N20/00

Abstract: 本发明提供了一种基于机器学习的并发控制方法及系统，包括：将待执行事务进行初始化，并标记状态为执行中；判定执行中的事务是否存在未执行操作，若存在则查询操作执行策略继续执行，判断是否进行提前校验并执行对应操作；若不存在则根据当前事务的提交策略进行事务校验并提交；对事务累积的读操作进行正确性验证；查询事务的提交策略，根据提交策略和本事务建立的事务依赖关系进行等待操作直到事务依赖关系满足预设条件，对事务的读操作的集合进行正确性校验。本发明允许事务根据机器学习的训练结果进行任意行为的数据库操作，充分匹配不同应用场景的特点，最大程度提升系统的灵活性。

公开(公告)号：CN110515705A

公开(公告)日：2019-11-29

申请号：CN201910726002.1

申请日：2019-08-07

Applicant: 上海交通大学

Inventor： 古金宇 ,  王肇国 ,  臧斌宇 ,  陈海波

IPC: G06F9/46 ,  G06F9/52

Abstract: 本发明提供了一种可扩展的持久性事务内存及其工作方法，包括：非易失存储器和动态随机储存器；所述非易失存储器中包括：原始数据对象以及每个事务维护的日志，所述日志包含新的数据对象，在原始数据对象中使用指针next指向对应的新的数据对象；所述动态随机储存器中包括：每个线程维护的元数据。本发明提出了使用DVCC技术减少寻找版本的时间，同时将NVM中的日志作为新版本的方法，有效地减少了写操作次数。