推导规则相关论文
正规式相交判定问题在扩展标记语言（extensible markup language,XML）类型检查中起着十分重要的作用。传统方法是将其转化为自动机的......
随着数据库与信息技术的发展，信息系统面临许多新的应用和需求，对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据......
数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,......
在格律诗的平仄句式中存在＂音＂＂结＂＂连＂三种结构单位,它们不同的特性与作用形成了它们在平仄句式中不同的分布链接规则,据此便可以推导出......
