周勇 王建东 周冬平 徐洁磐 任凯 曹子宁

中介集合论 选择因子 优化 命题演算 数理逻辑 谓词演算 查询 集论 计划优化 空值 不完全信息 数据处理 三值逻辑 数据库管理系统 查询重写 粗集

南京大学计算机软件新技术国家重点实验室 南京航空航天大学信息科学与技术学院 南京大学计算机科学与 南京大学计算机系 南京航空航天大学计算机科学与工程系