【摘 要】
：
<正> 1 引言约束数据库近期被Kanellakis等提出作为处理空间数据的一般性框架。约束数据库用约束来建模和检索数据。在数据层,约束能用有限的形式来表示可能是无限的关系元组
【机 构】
：
复旦大学计算机科学系数据库研究中心
【基金项目】
：
国家自然科学基金,批准号69773012
论文部分内容阅读
<正> 1 引言约束数据库近期被Kanellakis等提出作为处理空间数据的一般性框架。约束数据库用约束来建模和检索数据。在数据层,约束能用有限的形式来表示可能是无限的关系元组集。例如,约束x~2+y~2≤9表示中心在点(0,0)处,半径为3的圆。在查询语言层,约束通过允许数学计算而增强了简单关系语言的表达能力,同时约束查询语言保留了关系查询语言的所有特征,如封闭性和自底向上求值。关系代数能被扩充来处理约束关系,这个新的代数叫做约束代数CALG。
其他文献
1.引言 近年来,对于半导体制造业的建模、分析和调度优化都取得了长足的进步.Kumar在文[1,2]中指出在过去的几十年中,由于一系列问题的出现,排队论已经历了四次发展.首先
一、虚拟组织的信息基础随着全球企业生产复杂性的不断增加,制约一个企业发展的根本已不是劳动力和资本,而是信息,而对于制造业,其信息非常的多,一般来说,这类有关的信息有MIS、MRP、CAPP、CAD、CAM等,但这些数据很少是集成的,大多是分布独立的,甚至开发平台等大多是异构件,而作为一个企业的决策者来说,这些数据均
0引言 由于用户群在地理上的分散性以及局部计算资源的有限性,随着网络化的发展,分布式数学图形处理环境的建立是必要的.所谓分布式数学图形处理环境,就是指一个能够交换