论文部分内容阅读
图重写能够有效地实现项重写。文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性：在无环出现的情况下，图重写对一切项重写下正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的。
项重写的图实现
【摘 要】
：
图重写能够有效地实现项重写。文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性：在无环出现的情况下，图重写对一切项重写下正确；在无环出现的条件下，图重
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
1998年4期
【基金项目】
：
国家九五科技攻关项目
其他文献
社会的不断发展使技术水平得到了提升,在各行各业的生产工作中,先进的技术都是提高生产效率和质量的重要保证,在农业生产中也是如此。随着越来越多先进农业生产技术的应用,传
随着我国经济的快速发展,农村人口在迅速的向城市转移,这也就使我国城市化的进程迅速发展,建筑行业也随之得到了长足的发展。与此同时,人们对房屋建设的质量要求也越来越高,
诞生于美国的传播学在1978年后逐步传入中国,引发了中国新闻学界的不断学习与探讨。本研究以《外国新闻事业资料》《新闻学会通讯》和《新闻学刊》三种20世纪80年代重要新闻
受金融危机的影响，武汉农民工回流人数不断增多，2009年春节达到最高峰3．837万人。因此，武汉市返乡农民工权益损失原因探究，对缩小城乡差距，促进城乡统一劳动力市场的形成，以及对武汉
为了加深对最新GPM卫星降水产品在具体流域的误差特性的了解,利用中国日降水分析产品(CPAP),选取相关系数(CC)、平均误差(ME)、探测率(POD)、错报率(FAR)以及6个极端降雨指标评估2014年4月至2016年3月期间IMERG卫星降水产品和GSMap-Gauge卫星降水产品在淮河、海河流域的误差特性及性能表现。结果表明:(1)两种卫星降水产品的总误差的空间分布完全不同,以高估为主要表现
本文对泰国华商在中国投资的发展现状作了比较深入的研究,之前有不少学者对泰国华人经济发展的研究获得了相关成果,本人试图在前人研究的基础上,对近期的统计资料和权威的数
针对民办高中的英语学科校本课程开发的问题,采用深入课堂了解学生、课堂教学观摩、发挥集体智慧共同切磋、建设校园文化等方式,以开发适合民办学校学生特点的校本课程为研究
实施素质教育形势下的新课程标准,就是全面贯彻党在新形势下的教育方针,以提高国民素质为根本宗旨,以培养学生的创新精神和实践能力为重点,造就＂有理想、有文化、有道德、有纪
下渗强度的计算是干旱半干旱地区超渗产流计算的关键环节。河北雨洪模型中的流域下渗强度计算公式由两部分组成,一部分为由张力引起的下渗强度,另一部分为由重力引起的下渗强
并和，分布式系统应用日益广泛，但它的开发却很困难，可视化是解决方染之一。