【摘 要】
：
<正> 1 引言约束数据库近期被Kanellakis等提出作为处理空间数据的一般性框架。约束数据库用约束来建模和检索数据。在数据层,约束能用有限的形式来表示可能是无限的关系元组
【机 构】
：
复旦大学计算机科学系数据库研究中心
【基金项目】
：
国家自然科学基金,批准号69773012
论文部分内容阅读
<正> 1 引言约束数据库近期被Kanellakis等提出作为处理空间数据的一般性框架。约束数据库用约束来建模和检索数据。在数据层,约束能用有限的形式来表示可能是无限的关系元组集。例如,约束x~2+y~2≤9表示中心在点(0,0)处,半径为3的圆。在查询语言层,约束通过允许数学计算而增强了简单关系语言的表达能力,同时约束查询语言保留了关系查询语言的所有特征,如封闭性和自底向上求值。关系代数能被扩充来处理约束关系,这个新的代数叫做约束代数CALG。
其他文献
1.引言 近年来,对于半导体制造业的建模、分析和调度优化都取得了长足的进步.Kumar在文[1,2]中指出在过去的几十年中,由于一系列问题的出现,排队论已经历了四次发展.首先
一、虚拟组织的信息基础随着全球企业生产复杂性的不断增加,制约一个企业发展的根本已不是劳动力和资本,而是信息,而对于制造业,其信息非常的多,一般来说,这类有关的信息有MIS、MRP、CAPP、CAD、CAM等,但这些数据很少是集成的,大多是分布独立的,甚至开发平台等大多是异构件,而作为一个企业的决策者来说,这些数据均
<正> 1 引言 Agent是具有信念、能力、决策和承诺等精神状态的实体,它的提出是以计算的社会学模型为背景,通过多个简单Agent协同工作,可以完成比较复杂的任务。分布式人工智
【正】 XHTML最早口q做"HTML in XML",是一种基于XML的超文本标记语言,也就是说,将以前用SGML定义的HTML改为用XML重新定义。从这个意义上讲,XHTML实际上是XMU的一种应用。表
0引言 由于用户群在地理上的分散性以及局部计算资源的有限性,随着网络化的发展,分布式数学图形处理环境的建立是必要的.所谓分布式数学图形处理环境,就是指一个能够交换
<正> 1 引言网络管理是基于数据的。分布在网络各处的被管设备维护着大量的配置和状态信息,网络管理系统(NMS)通过网络管理协议(如SNMP、CMIP)与被管设备上运行的管理代理通
<正> 企事业组织内建立起自己的内部网,使网络内的各个部门、各种不同平台的计算机可以轻松地相互传递信息;同时通过安全隔离,可以实现与外部的交换传递,这就是如今非常热门
<正> 1 引言目前地理信息系统(GIS)已经逐步应用于各类机构和团体中。网络通讯和分布式计算是GIS进入企业化水平的核心技术支柱,它们允许公用的数据和应用模型在网络上供多用
<正> 1 引言随着网络技术的发展,Web日趋成为目前重要的信息系统。数据库系统如何与Web集成(DBMS-Web)成为数据库研究领域的重要课题。这一集成可以充分发挥DBMS高效的数据存
<正> 1 引言近年来,数据库的数量和单个数据库的容量都大大增长了。比如,空间物体数据库包括几十亿个望远镜图像,NASA地球观测系统每小时都会产生50GB的数据。这么大的数据量