CFDL语言及函数数据模型的研究
基本信息
结项摘要
在对国内已有函数语言分析研究的基础上，完善了中文函数数据库CFDL语言体系，将字符集扩展到整个中文字符集。在BCNF范式定义中引入特定符号表示固有并行信息，提供了抽象数据描述机制，在此基础上完成了CFDL原型的实现，主要研究了基于λ-calculus的并行图归约机的实现技术，采用了以相对偏移块主法表示图结点的新思想，明显地加快了图归约机的执行。新的函数高度TRL算法，提高了函数调度的效率。通过对函数数据模型与传统数据模型的比较分析，初步建立了在统一的计算模型和数据模型λ-calculus下描述客观世界实体联体联系的理论和方法。并行图归约机把并行处理的工作交给系统程序，为进一步研究完善的函数数据库系统打下基础。
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
Numerical investigation on aerodynamic performance of a bionics flapping wing
邢琳的其他基金
相似国自然基金
君不言子不语：管理者征求建言及其对下属建言行为的影响
几类函数型数据模型的统计推断方法
函数型数据模型的亚组分析研究
ω-凸语言及其分层