陈维兴 宋煌 周清雷 庄雷 陈昕

区域可达 半序关系 时间后继 语言族 3型语言 广义凸语言 定义 分层 ω-语言 近似计算模型 弱凸 正则语言 正则性 聚集查询重写 聚集实化视图 时间自动机 统计应用 字母表 当且仅当 区域自动机 凸语言 数据流计算 等价类 等价关系 ω-自动机 有穷自动机 近似查询方法 聚集查询计算 时间转换表 ω-Nerode等价关系

郑州大学 郑州大学理论计算机科学研究所 郑州大学计算机科学工程系 河南　郑州 郑州大学计算机科学系 北京信息工程学院计算机信息系统系