论文部分内容阅读
本文在文献[1][2]的基础上。对一个面向CAD/CAM DBMS的新的结构网状数据模型SNDM[2]中的视图更新及转换正确性问题进行了研究,给出了SNDM数据模型中视图更新转换正确性定理。
关于SNDM数据模型视图更新转换的正确性
【摘 要】
：
本文在文献[1][2]的基础上。对一个面向CAD/CAM DBMS的新的结构网状数据模型SNDM[2]中的视图更新及转换正确性问题进行了研究,给出了SNDM数据模型中视图更新转换正确性定理。
【机 构】
：
山东财政学院,山东师范大学
【出 处】
：
山东师大学报(自然科学版)
【发表日期】
：
1991年03期
其他文献
<正> 电脑初学者在使用DOS一段时间以后,当开始使用一些对自己工作有帮助的应用软件时,会深深体会到与电脑内存“争地”的感觉。能合理配置与使用内存,是电脑初学者必备的技
采用微集流"W"型沟播地膜覆盖栽培法,通过耕翻、起垄微地形的改变,实现了天然降水的聚集、叠加,尤其是旱季小雨的聚集,提高了降水利用效率,保墒、提墒、增温效应明显.微集流"
应用系统动力学方法，建立了济南可持续发展对策研究系统动力学模型，仿真模拟了济南多种发展对策方案确定了其中最优的一个，为济南城市综合实力评价分析与对策研究提供理论上和数
研制了一种提高零件表面耐磨性能的新型马氏体不锈钢电弧喷涂丝材,并通过高速电弧喷涂设备在Q235低碳钢板表面制备耐磨涂层。利用扫描电镜、X射线衍射仪、显微硬度仪和磨损试
利用40％二甲戊·己EC135～175ml／667m^2播后苗前土壤处理防除马铃薯田一年生单、双子叶杂草，具有较好的效果。药后45d对杂草鲜重防效达85．6％-93．5％，各处理优于对照药剂50％乙草胺EC15
通过断铅模拟源定位修正检测区域声速，采用能量一持续时间等多组关联图综合分析了各因素对声发射源严重性级别的影响。结果表明，该方法能可靠确定设备内超标缺陷的活度，提高声发
对丙酮气固相催化合成异佛尔酮催化剂的制备进行了研究,以共沉淀法制备了一系列镁铝酸碱复合氧化物固体催化剂,并在固定床反应器中对其进行活性评价.考察了镁铝比、金属离子