杨炳儒 贲可荣 王戟 徐章艳 高静 刘强 钟万勰 李言照 宋威

程序验证 触发器 拓扑图 布局模式 自动增长类型 索引数组 数据挖掘 矩形图元 矩形域 IB65 几何布局问题 包含索引 剩余空间 模型 频繁闭项集 关联规则 时态逻辑