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

发布时间：2017-08-21 23:35

本文关键词：面向无穷数据的形式模型综述

【摘要】：无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一.对面向无穷数据的形式模型(逻辑与自动机)进行了相对全面而详细的总结.主要按照不同自动机模型对无穷数据的处理方式加以组织,并关注相关判定问题,即:自动机的非空性问题、语言包含问题以及逻辑的可满足性问题的可判定性与复杂性.
【作者单位】：上海市高可信计算重点实验室(华东师范大学);计算机科学国家重点实验室(中国科学院软件研究所);
【关键词】： 无穷数据 自动机 逻辑 非空性 语言包含 可满足性 可判定性 复杂性
【基金】：国家自然科学基金(61402179,61100062,61272135,61472474,61572478) 上海浦江人才计划(14PJ1403200) 上海晨光人才计划(13CG21)~~
【分类号】：TP301.1
【正文快照】： 1背景在计算机科学中,形式模型一般指用来对特定结构(比如串和树)进行描述、接受、生成和变换的数学模型.形式模型包括逻辑、自动机、文法和重写系统等.对形式模型的研究贯穿计算机科学的发展历程,它奠定了计算机科学的很多分支的理论基础[1]. 图灵机——现代计算机的理论模

【相似文献】

中国期刊全文数据库前8条

1 冯铃,冯玉才;演绎型面向对象数据库管理系统形式模型研究[J];计算机研究与发展;1993年07期

2 刘贵全,陈小平,范焱,蔡庆生;多主体协作系统的一种形式模型[J];计算机学报;2001年05期

3 张宏;贺也平;石志国;;一个支持空间上下文的访问控制形式模型[J];中国科学(E辑:信息科学);2007年02期

4 余盛可;H－网：一个基于Petri网的超文本形式模型[J];计算机学报;1995年07期

5 魏衍君;王应战;;Java语言混淆器模型研究[J];科技信息;2012年04期

6 李华,叶新铭,丁雪莲,孙涛;基于相同形式模型的协议测试方法研究[J];内蒙古大学学报(自然科学版);2005年06期

7 张广泉;;基于转换系统的广义反应系统形式模型[J];计算机科学;2000年01期

8 ;[J];;年期

中国硕士学位论文全文数据库前1条

1 颜卫;UML模型与形式模型双向转换的研究[D];华东师范大学;2011年