【摘 要】
：
数据库语义学保证数据库所存贮的信患准确地描绘有关的企业。它涉及到数据库的设计和数据库的完整性。关系数据库有较严格的理论,因此数据库语义学的研究主要集中在关系数据库中讨论。本文在泛关系的假设下,从数据依赖,模式分解,连接运算来讨论数据库的设计和数据库的完整性,同时还在多关系的情况下,讨论了数据库语义。
论文部分内容阅读
数据库语义学保证数据库所存贮的信患准确地描绘有关的企业。它涉及到数据库的设计和数据库的完整性。关系数据库有较严格的理论,因此数据库语义学的研究主要集中在关系数据库中讨论。本文在泛关系的假设下,从数据依赖,模式分解,连接运算来讨论数据库的设计和数据库的完整性,同时还在多关系的情况下,讨论了数据库语义。
其他文献
本文由四部分内容组成。首先提出了地图投影的第三类坐标变换问题,即B、yl、x,B、xl、y;第二、三部分分别讨论了第三类坐标变换的解析方法和数值方法;最后讨论了第三类坐标变换的直线插值方法。第三类坐标变换的提出和研究,不仅具有一定的实际意义,而且丰富了地图投影的研究内容。
图论在制图和数字地理信息的应用方面的讨论应该给予应有的关注。图论可以为线状要素的制图和数字信息应用提供数学模型。文章讨论了地理信息图的概念和它的数据结构。研究试验了最优路径、最短树、最大流等方面的原理与算法在道路图中的应用。
离子镀是真空蒸镀与溅射相结合的新工艺。本文着重讨论反应离子镀铟锡氧化物透明导电薄膜的物理特性跟铟锡蒸发物组分之关系,由此得出:反应离子镀工艺,只要恰当的选择蒸发物组分和充氧压,可以获得透光率和导电性能高的透明导电薄膜。
多年来深感国内缺少专门刊载计算机软件研究成果的学术刊物。《计算机应用与软件》杂志的诞生是值得庆贺的。八十年代是信息的年代。其主要标志是,第一,计算机与计算机网面向人人;第二,计算机化和计算机网化的服务行业面向人人;第三,在某种程度上人们的日常生活受到计算机的控制与管理。这就是说,计算机应用大普及,它渗透到整个社会的各个领域,渗透到人们的日常生活,从而,整个社会将有一个大的飞跃,进入到信息化社会。这
一个软件产品类似人的一生,也有产生、发展和消亡的过程。为了提高软件产品的效益,必须想方设法来延长它的寿命,本文为此提出了一些详细技术。
本文提出了在我国开发微型计算机企业管理系统的必要性和迫切性。作者并对开发微型计算机企业管理系统中的一些问题提出了个人的看法。这些问题是:分布式处理系统和局部网的开发,数据库的研制和应用,应用软件的开发,汉字系统和用户接口的设计以及系统的配套和服务。
本文定义了程序语言的一种结构武时态语义,即将程序语言中的语句解释为时态逻辑中的公式,并使这种解释保持语言的结构。本文的续篇名为“程序推理”,将讨论在这种语义基础上的程序推理问题。
本文以集合运算为基础,提出扩展D算法。通过九值集合运算,特别是集合的逆映射,直接导出各种立方表,然后同D 算法一样,对故障的测试立方进行D 驱赶和一致性相交运算,求出故障的测试。算法保留了九值算法,主通路法,和星算法等现存算法的优点。可用于求组合线路多故障和时序线路的测试。扩展D 算法简便直观,更便于工程实现,已在IBM 370/148机上用PL/I 语言实现了一个插件测试码生成系统。
本文介绍以FORTH作为系统开发工具,通过自编译来移植开发扩充FORTH系统。作者已经为十六位微型机ALPHA micro 和八位微型机TRS-80(I)各开发实现了一个FORTH 系统。