汤娜
- 作品数：22 被引量：134H指数：5
- 供职机构：华南师范大学计算机学院更多>>
- 发文基金：国家自然科学基金广东省自然科学基金广州市科技攻关项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 基于CDIO教育模式的数据库课程群建设被引量：6
- 2015年
- 以数据库技术为核心进行课程群建设在信息类的专业中是非常具有代表性和价值的.针对不同的专业方向,对相关课程的群体性做一个整体融合和规划,按大课程框架进行综合建设,使课程群成为具有整体优势的有机整体.同时课程群的建设还肩负着如何在有限的学时安排中,面向所有学生,培养综合实践、项目工程、相关职业素养等综合能力的使命.通过这些问题,基于综合实验案例进行了数据库课程群建设并应用到实际教学中,课程群体系不断反馈不断完善,学生的综合能力得到提高.
- 汤娜汤庸叶小平
- 关键词：CDIO工程教育模式
- 偏序时态XML索引TempPartialIndex被引量：1
- 2016年
- 时态数据管理是常规数据管理的深化和扩展,具有理论研究的意义与实践应用的价值.时态数据索引是时态数据管理的重要技术支撑,是其中的一个研究热点.首先,提出了一种时态数据结构,通过数据节点间的偏序关系,可将常规的二维时间区间的处理转化为基于偏序的时态等价类上的一维的处理,该数据结构可以快速有效地处理时态操作;其次,在该新型时态数据结构基础上研究了时态XML索引Temp Partial Index,其基本特征是将时态数据结构整合到非时态的XML索引中,即,将其整合到语义层之中,通过时态过滤和语义过滤掉大量节点之后,再进行结构连接;另外,着重讨论了基于Temp Partial Index"一次一集合"及其时态变量查询和增量式的动态更新机制.同时,仿真结果表明:Temp Partial Index能够有效地支持时态XML的各类查询及更新操作,技术上具有可行性和有效性.
- 汤娜叶小平汤庸彭鹏杜梦圆
- 双时态XML查询中now语义失真的研究与扩展被引量：1
- 2008年
- 本文研究如何有效地查询基于"单属性表示时态信息"的XML文档的时态信息操作,并选择XML功能较为强大的查询语言XQuery进行时态查询扩展。文中先讨论如何解决时态数据库中特殊元素now的语义失真的问题,然后对XQuery进行双时态扩展,最后给出扩展后的查询实例。
- 汤娜陈罗武刘瑞君汤庸
- 关键词：XML时态数据库时态扩展XQUERY
- 时态查询语言的并发Lambek演算及范畴语法被引量：3
- 2009年
- 时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善.
- 刘冬宁汤庸黄昌勤汤娜
- 关键词：时态查询语言句法分析范畴语法
- 基于openGauss的数据库实验教学体系设计与实现被引量：2
- 2022年
- 为了更好的实现围绕国产数据库的产教融合,本校开设了基于openGauss的数据库系统原理课程,通过近两年的实践教学摸索、设计和实践,逐步形成了基于云数据库和本地数据库windows环境的实验设计.通过云数据库环境接轨新技术,通过基于docker的本地实验环境方便学生随时无门槛地接入.同时根据教学大纲的教学目标,研究openGauss的特性,设计和编写了课上课下融合的实验教学内容,并建设了相应的微课、实验指南等实验配套,最终建设了包含教材等配套在内的实验教学体系.为准备采用国产数据库作为实践教学平台的学校探索并设计了一条可行、易行的实践教学的路径.
- 汤娜李晶晶李春英汤庸叶海山
- 关键词：国产数据库实践教学
- 基于时序分区的时态索引与查询被引量：1
- 2020年
- 时态索引作为一种高效管理和检索时态数据的有效手段,一直是时态数据领域的研究热点.提出了一种基于时序分区的时态索引技术TPindex.首先将海量时态数据的时态属性映射到二维平面上,对平面上的"有效时间"点进行采样处理,通过使用自上而下,自左而右的时序分区方法将平面划分成若干个均匀的区域.其次,使用基于拟序关系的线序划分算法对每个分区中的数据构建数据结构,并建立基于"有效时间戳"的全区索引,实现"一次一集合"的数据查询操作.再次,还提出了使用分文件存储线序索引的模式将分区线序索引磁盘化,同时可以结合多线程技术并行处理数据,充分利用现代化硬件资源以满足海量数据下的高性能需求,提高索引性能.另一方面,我们还研究了海量时态数据下TPindex的增量式更新操作.最后,设计相应的仿真实验,通过与现有的代表性工作进行对比评估,验证了所提出方法的有效性和实用价值.
- 杨佐希汤娜汤庸潘明明李丁丁叶小平
- 关键词：时态索引海量数据并行化
- XML文档中时态信息存储方法的研究与比较被引量：3
- 2008年
- XML作为Web上新的数据发布语言,将成为Web下一代"数据表达"和"数据交换"的统一标准。然而XML文档很少是静止的,它经常会被修改,引入"时态表达"后,时态XML文档能够记录一系列的修改痕迹以及数据的变化过程。本文提出了将双时态XML数据模型映射到双时态XML文档的四种映射方法,最后通过实验对比了这些映射方法及其适用场合。
- 汤娜刘瑞君陈罗武汤庸武迪
- 关键词：XML时态数据库时态扩展
- 时态数据库中间件的设计与实现
- 时态数据库理论研究取得了丰富的成果,但是时态数据库实现技术尚处于发展阶段.本文在总结前人工作的基础上,讨论了时态数据库中间件平台的实现难点、选择ATSQL2的原因、整体架构、语法和语义处理算法等内容;采用符合当前现实条件...
- 陈子聪汤庸刘海汤娜
- 关键词：时态数据库中间件
- 文献传递
- 时态逻辑断言推理及其在SIDSS中的应用被引量：3
- 2003年
- 介绍了断言推理和时态逻辑断言的基本概念，并以工资智能决策支持系统（SIDSS）为例，讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。
- 刘冬宁刘浩钊汤庸汤娜
- 关键词：断言时态时态逻辑
- 一个工作流元模型的分析及其时态扩展被引量：2
- 2006年
- 时态工作流将时间作为一个维度引入工作流描述.通过对一个典型工作流元模型的分析,得出时态属性是工作流各要素及其关系的普遍属性;定义了时态信息的规范表示和一组时态数据演算,并对时态工作流中主要元素进行了形式化描述;用一个例子说明如何运用上述成果进行过程建模、并处理工作流中的时态数据.结论表明时态工作流能综合处理过程的效率问题和角色、数据、应用程序的时间有效性问题.
- 余阳汤庸梁路潘炎汤娜
- 关键词：时态工作流工作流元模型时态信息
