广东省自然科学基金(7003721) 作品数:13 被引量:51 H指数:5 相关作者: 汤庸 刘冬宁 潘颖 吴凌坤 张文生 更多>> 相关机构: 中山大学 华南师范大学 广西师范学院 更多>> 发文基金: 广东省自然科学基金 国家自然科学基金 广东省科技攻关计划 更多>> 相关领域: 自动化与计算机技术 哲学宗教 更多>>
基于关系数据库的极松散结构数据模型的访问控制研究 被引量:7 2012年 本文提出一个针对数据空间环境下极松散结构模型的细粒度和动态的访问控制框架:首先定义通用的极松散结构模型GLSDM(General very Loosely-Structured Data Model);给出GLSDM到关系表的映射方法,将GLSDM上细粒度的访问控制转换为关系表的row、cell等安全级别的访问;通过动态查询重写,在用户执行查询时将GLSDM的权限信息添加到SQL语句中,从而实现GLSDM的动态访问控制.理论和实验证明该框架是可行和有效的,本文的映射方法和动态查询重写算法能够保证对GLSDM的访问控制通过等价的关系数据库的访问控制来实现. 潘颖 汤庸 刘海关键词:访问控制 数据空间 关系数据库 TempDB:时态数据管理系统 为了适应时态数据库发展需求,针对目前时态数据库技术实现则相对滞后现状,设计和实现了时态数据处理原型系统TempDB.TempDB采用中间件的架构实现,使用具有代表性的时态查询语言——ATSQL2,将时态操作语言转换成与之... 汤庸 刘海 郭欢 叶小平关键词:时态数据库 数据库管理系统 文献传递 FQM-tree:基于B+树的时态索引 提出了一种基于B 郭欢 汤庸 姚良超 叶小平关键词:时态索引 B+树 文献传递 智能主体的信念认知时态子结构逻辑模型 被引量:2 2010年 智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BD I理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进行了相关研究,采用了认知时态子结构逻辑建模的方法,表达了智能主体获得"双省"信念的方式,针对其建立了相应的逻辑系统BSoET。 刘冬宁 汤庸关键词:智能主体 信念 自省 流程增量挖掘中的模型更新方法 被引量:2 2009年 正确发现流程实际运作情况对工作流管理有着重要的意义。流程挖掘抽取系统日志信息,挖掘流程的真实运作模型。目前很多该方面的研究,着重于从一份日志中挖掘出工作流模型。然而,这些挖掘方法只关注日志信息,忽略了流程设计者的先验知识。而且,日志所包含信息量较大,进行一次挖掘耗费较大。因此,希望能结合已有工作流模型及新增日志信息,更新工作流模型。已有研究给出对模型及日志的增量挖掘算法。但是,业务流程会随着时间推移变更,可能已有的任务被取消了,因此在新增的一段日志中该任务没被记录。但由于该任务曾经在已有日志中记录下来,故应用已有挖掘算法或增量挖掘算法,在更新模型中,该任务也会被挖掘出来。提出了一种增量挖掘模型更新的改进算法。通过流程设计者的先验知识及统计任务出现的频率,判断该任务是否被取消。最后给出一个实验,验证算法的可行性。 马慧 汤庸 吴凌坤关键词:工作流模型 一种可学习循环结构的工作流模型挖掘方法 正确发现流程实际运作情况对工作流管理有着重要意义.流程挖掘抽取系统日志信息,挖掘流程真实的运作模型.给出一种可学习循环结构的流程挖掘方法.首先根据工作流实例中任务间的执行顺序,把日志数据划分成不同聚类,缩减挖掘过程中的搜... 马慧 汤庸 张文升关键词:工作流模型 PETRI网 文献传递 时态查询语言的并发Lambek演算及范畴语法 被引量:3 2009年 时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善. 刘冬宁 汤庸 黄昌勤 汤娜关键词:时态查询语言 句法分析 范畴语法 SA:一种有利于多属性范围查询的多维聚簇方法 被引量:1 2009年 一般来说,外存访问的数据文件中针对多属性的区域查询有两个改进其效率的方向。一个是在其上建立索引,另一个是在物理层按照某种规律重新安排记录。探讨如何通过第二种方法来提高范围查询的效率,即通过多维聚簇的方式得到数据文件中更好的记录的存储顺序。首先,细致分析了该问题,并针对该问题构造了一个数学模型,然后通过引入光谱算法(SA)的思想为解决该NP难问题提供了一种多项式时间内的近似解。最后通过实验来验证了该方法在矩形区域查询和单维范围查询方面的有效性。 吴凌坤 汤庸 王鹏 舒然关键词:数据重组 范围查询 RP-Tree:一种高效紧凑的高维点访问方法 随着计算机应用的不断发展和深入,高维数据的应用也越来越广泛.而传统的数据库索引技术如B-Tree并不能提供高效的多维数据的存取.提出一种高效的多维点访问方法R-Tree,该方法基于R-Tree结构,通过在插入算法中引入新... 吴凌坤 舒然 王鹏关键词:多维索引 文献传递 基于认知度的协同过滤推荐算法 协同过滤技术被广泛应用于各种推荐系统当中.基于内存的协同过滤算法通过比较目标用户与其他用户的已有评分,为目标用户的未评分项目作出相应的预测.提出了一种新的基于内存的算法,根据项目的关键属性对它们进行分类,通过计算用户对各... 李建国 姚良超 汤庸 郭欢关键词:协同过滤 认知度 文献传递