面向无穷数据的形式模型综述

• 作者: 吴志林 宋富
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 无穷数据 自动机 逻辑 非空性 语言包含 可满足性 可判定性 复杂性
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 软件形式化方法与应用专题
• 页码范围: 682-690
• 页数: 9页
• 分类号: TP301
• 字数: 8767字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004989

摘要

无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一.对面向无穷数据的形式模型(逻辑与自动机)进行了相对全面而详细的总结.主要按照不同自动机模型对无穷数据的处理方式加以组织,并关注相关判定问题,即:自动机的非空性问题、语言包含问题以及逻辑的可满足性问题的可判定性与复杂性.