修改实验室研究方向

Author: Sorrysorry

content/research/index.zh-cn.md

@@ -19,15 +19,15 @@ math:
 </div>
 
 ## 数据库漏洞检测
-过去几十年，现代数据库管理系统（DBMS）不断演进，可以支持多种不同的新架构，比如云平台和 HTAP，这需要对查询评估进行越来越复杂精细的优化。查询优化器（query optimizer）被认为是 DBMS 中最复杂和最重要的组件之一，其功能是解析输入的 SQL 查询，然后在内置成本模型的协助下生成高效的执行方案。查询优化器实现中的错误可能会导致出现漏洞（bug)，包括崩溃漏洞和逻辑漏洞。崩溃漏洞很容易检测，因为崩溃会导致系统立即停止。然而逻辑漏洞却容易被忽视，因为逻辑漏洞会导致 DBMS 返回难以检测的错误结果集。
+过去几十年，现代数据库管理系统（DBMS）不断演进，可以支持多种不同的新架构，比如云平台和 HTAP，这需要对查询评估进行越来越复杂精细的优化。查询优化器被认为是 DBMS 中最复杂和最重要的组件之一，其功能是解析输入的 SQL 查询，然后在内置成本模型的协助下生成高效的执行方案。查询优化器实现中的错误可能会导致出现漏洞，包括崩溃漏洞和逻辑漏洞。崩溃漏洞很容易检测，因为崩溃会导致系统立即停止。然而逻辑漏洞却容易被忽视，因为逻辑漏洞会导致 DBMS 返回难以检测的错误结果集。
 我们聚焦于数据库逻辑漏洞的检测，欢迎对此感兴趣的同学加入！
 
 <div style="text-align: right;">
 <a href="/posts/ai4db/">了解更多 <i class="fas fa-angle-double-right fa-fw"></i></a>
 </div>
 
 ## AI4DB
-AI4DB(Artificial Intelligence for Database)集成了人工智能领域的先进技术，如机器学习、自然语言处理等，为数据库管理带来了全新的视角和方法。AI4DB不仅能够自动化完成数据采集、清洗、转换、挖掘、分析和可视化等任务，还能够根据数据特点和业务需求，进行智能化的优化和调整，从而极大地提高了数据库的效率和质量。
+AI4DB（Artificial Intelligence for Database）集成了人工智能领域的先进技术，如机器学习、自然语言处理等，为数据库管理带来了全新的视角和方法。AI4DB不仅能够自动化完成数据采集、清洗、转换、挖掘、分析和可视化等任务，还能够根据数据特点和业务需求，进行智能化的优化和调整，从而极大地提高了数据库的效率和质量。
 我们聚焦于AI4DB与数据库自治的相关研究，欢迎对此感兴趣的同学加入！
 
 <div style="text-align: right;">