摘要
本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖,给出了模板依赖的强、弱保持条件。
In this paper, the authors disscuss a sort of template dependency having available and complete axiom system under null value circumstances.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1994年第8期15-18,共4页
Journal of Computer Research and Development
基金
国家自然科学基金
黑龙江省自然科学基金
关键词
NTD
数据库
模板依赖
空值环境
null value circumstance, template dependencies, strong hold, weak hold.