空值环境下模板依赖(NTD)的研究
Research of Template Dependency (NTD) Under Null Value Circumstances
-
摘要: 本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖,给出了模板依赖的强、弱保持条件。Abstract: In this paper, the authors disscuss a sort of template dependency having available and complete axiom system under null value circumstances.
下载: