期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

树的一阶可定义分层

原文传递

导出

摘要利用Boole运算和树型上的联结运算对树的一阶可定义集以存在量词和全称量词交替出现的方式给出一个分层对应.

作者沈云付

机构地区北京师范大学数学系

出处《中国科学（E辑）》 CSCD 1996年第2期155-166,共12页 Science in China(Series E)

基金国家自然科学基金资助项目

关键词一阶逻辑可定义性树分层树语言

分类号 TP301.2 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献1

1J. W. Thatcher,J. B. Wright. Generalized finite automata theory with an application to a decision problem of second-order logic[J] 1968,Mathematical Systems Theory(1):57～81

1李萍,王春红,杨秀荣.SQL中全称量词的实例解析[J].廊坊师范学院学报（自然科学版）,2013,13(2):53-54. 被引量：5
2郑先容.SQL语言中具有全称量词的查询问题[J].湖南城建高等专科学校学报,2000,19(2):47-48.
3王丽丽,方欢,方贤文.SQL语句中存在量词的深入剖析和应用探讨[J].廊坊师范学院学报（自然科学版）,2016,16(3):25-29. 被引量：1
4丁宝康.SQL语言中量词和空值的使用技术[J].计算机研究与发展,1994,31(3):15-22. 被引量：3
5段振江.带存在量词的SQL语句应用解析[J].甘肃广播电视大学学报,2011,21(4):54-55. 被引量：2
6李大庆.INFORMIX数据库中除法的实现[J].信息技术,2001,25(4):12-14. 被引量：2
7颜锋,陈韬略,韩婷婷,吕建.递归函数的π可定义性及其实现研究[J].小型微型计算机系统,2005,26(10):1749-1753. 被引量：1
8张玉平.可定义的推导关系[J].中国科学（E辑）,1998,28(5):439-445.
9郑逢斌,夏保胜.联结视图的更新问题[J].河南大学学报（自然科学版）,1998,28(1):19-22. 被引量：2
10刘智斌.关系演算运行机制的分析与研究[J].计算机应用研究,2003,20(10):60-61. 被引量：2

中国科学（E辑）

1996年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部