排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
2.
XML函数依赖问题是进行XML数据库后续研究的基础。首先基于M.Arenas等人给定的XML中DTD和XML树的定义,提出空值、不完全树元组、数据值偏序、最小扩展树等概念,在此基础上,给出弱函数依赖及其满足性的定义;其次研究了XML弱函数依赖的逻辑蕴含问题,提出一组适合XML空值模型的函数依赖推理规则集;最后给出推理规则集的正确性和完备性证明。 相似文献
3.
4.
介绍了一种采用半自动CO2气体保护焊焊接Q420钢结构的方法,通过对焊接工艺研究过程的分析,找出了半自动CO2气体保护焊焊接Q420钢结构中焊接工艺的难点和问题,提出了一套较为合理的焊接工艺方案。 相似文献
1