V
主页
【上海交通大学 王肇国】形式化方法在数据库和分布式系统中的应用
发布人
首先,介绍如何通过形式化方法构建Paxos与Raft之间的映射关系,并将Paxos优化方法(如Byzantine Paxos)自动扩展至Raft;接着,介绍SQL Query等价性验证方法,在此基础上实现SQL改写规则的自动挖掘,相比SQL Server、Calcite等系统,该方法可以提供更有效的改写规则;最后,介绍如何验证分布式程序的幂等一致性,针对错误程序进行自动修复,同时达到性能最优。
打开封面
下载高清视频
观看高清视频
视频下载器
小破站高质量面试题:MySQL夺命连环56问(B+树、mysql索引、索引优化、SQL优化)7天学完,让你面试少走99%弯路!
2. 一键安装openGauss数据库
什么是数据库分区?GaussDB数据库的分区表有何作用?
017-【MIT】【6.824】【分布式系统】【中英字幕】【sp2020】【COPS, Causal Consistency】
【武汉大学 洪亮】基于大模型和人在环路的领域知识图谱构建与应用
GaussDB 数据库体系结构介绍
MySQL从入门到精通实战教程(MySQL8)
【判刑率99%】只要你敢学我就敢教,学完渗透黄色赌博网站,暗网黑客技术,从入门到入狱!零基础学习网络安全渗透测试技术
2024【excel数据分析】mysql数据库大学生必备 ! 8 小时速成sql脚本 !从入门到精通!
简述 SQL 学习路线图
面试官:SQL优化为什么不能用select*?问懵了啊。。。
【直击华为数据库GaussDB新品发布现场】关于GaussDB数据库对学术界、产业界的影响,大咖们这样说~
线上问题排查面试夺命连环11问!Java死锁/慢SQL/文件导入导出导致内存溢出/频繁FullGC/OOM/CPU飙高/MySQL死锁/MySQL连接池爆满
【北京理工大学 柴成亮】AI赋能的数据库优化器
97年阿里产品经理,分享自学sql和外语的高效免费方法!
drawdb-免费的、简单的、直观的在线数据库设计工具和 SQL 生成器
[附安装包]MySQL数据库安装保姆级教程,mysql数据库安装及配置教学
【全108集】(允许白嫖)一套可能是B站最系统的PS教程,手把手教学,通俗易懂,让你自学PS不再走弯路!
简述7种最常用的分布式系统模式
最直接粗暴的方式在鸿蒙App中操作Sqlite数据库
【复旦大学 肖仰华】大模型时代的数据管理
美团二面:你来说说mysql数据的增删改查?简单,这不有手就会?
终于把C语言做成动画片了,通俗易懂,2024最新版,学完即就业!拿走不谢!
【东北大学 张岩峰】存算分离架构下分布式页面缓存管理策略的研究与实现
【北京理工大学 袁野】面向大数据联邦的管理与分析
2024吃透MySQL调优,3小时带你快速掌握MySQL高级优化—索引调优和SQL调优,全程干货,拿走不谢!
小破站高质量面试题:MySQL夺命连环50问,一口气吃透面试必问的mysql核心面试题,让你面试少走99%的弯路!
【GaussDB精品课第1期】GaussDB(for openGauss)数据库,打造自研世界级产品
【GaussDB精品课第5期】如何使用数据复制服务DRS将Oracle/MySQL迁移到GaussDB?
【清华大学 李国良教授】SQL--使用程序设计语言访问数据库
2024吃透 MySQL数据库入门到精通 天花板教程 (从mysql安装到mysql高级、mysql优化,经典面试题)2小时学完,让你面试少走99%弯路!
数据库专家手把手教您完成GaussDB的实例部署
【第24期】GaussDB(for openGauss)数据库基本操作
【东北大学 张岩峰】基于无协调强一致性技术的多主架构云原生数据库
Hadoop中数据仓库Hive的优化原理讲解和代码.附带mysql的优化阐述
【中国人民大学 吴云乘】多方数据库的高性能共享计算
【武汉大学 王黎维】基于强化学习的分布式优化器模型
离线数仓项目架构简介
【MySQL】单表数据八千万,生产环境照样跑?数据分区功能挺好用
GaussDB数据库备份恢复