论文部分内容阅读
约束数据模型作为一种新的数据库模型正受到广泛关注，为了约束数据库的有效应用，需要研究的设计。为此对密序约束数据中的变量独立函数依赖，模式设计，分解，无损连接规范表示概念给出了严格的定义。给出了计算规范表示的算法，它能保持约束元 组的变量独立，并证明了它的正确性。
约束数据库中的分解与无损连接
【摘 要】
：
约束数据模型作为一种新的数据库模型正受到广泛关注，为了约束数据库的有效应用，需要研究的设计。为此对密序约束数据中的变量独立函数依赖，模式设计，分解，无损连接规范表示概念给
【机 构】
：
复旦大学计算机系
【出 处】
：
软件学报
【发表日期】
：
1997年A00期
其他文献
佟恩光是个帅才,在于他是个奇才,所以他才创造了一系列神话,奇迹接连着奇迹!一个比一个生动! 今年刚刚47岁,他已经当了十余年厂长,这期间,他把一个没有产品,亏损累累,不足百
在创业失败率总是居高不下的事实面前,兼职创业具有分散风险、积累创业技能和经验的重要作用。从创业学习视角出发,运用扎根理论,对兼职创业过程展开探索性研究。研究发现:兼
时代变迁下的社会和文化日益多元,民族关系类型及民族地区治理范式等发生了诸多变迁,而多元和变迁的重要影响因素是民族心理的转变。新时期民族心理朝着多元化的方向传播、演
利用物联网、信息融合、视屏流推送、冗余设计、3D人机交互等方面的知识,研发了一套可以实时、高效地监控无人值守台站工作的智能化软硬件监控系统,将传统的无人值守台站改造
在小学数学的教学过程中可以采取趣味化的教学方式，激发学生的学习兴趣。作为教师，除了把那无声的文字变成有声的语言，来教育鼓励学生，使学生的情感和情趣融合在一起，把学生从课堂
中国社会工作有其独特的发展历史和时代脉络。探寻中国社会工作的历史线索和历史品格,是新时代中国社会工作发展和建设的一个重要路径。它既有利于增强理论自觉,促进中国社会
根据某飞机环控系统试验要求,将试验平台分为环境控制平台和自动测试平台;为了增强系统的可复用性和可维护性,将构件技术引入环境控制平台,讨论了环境控制平台的整体结构,环
利用河北台网及临近区域台网的地震波形资料,采用CAP方法反演了2016年9月10日河北唐山M_L4.3地震的震源机制解和震源深度并将反演结果作为已知输入,利用F-K方法计算理论地震
针对复杂的系统，提出一种基于多模型结构的自适应重构控制方法，使得系统可以在不同的运行环境下跟踪给定的信号，并且对特定的故障情况具有控制重构的能力；首先，由多个线性模型和一
随着电子产品迅速发展，设计涉及的信息量日益增大，数据格式种类繁多，工程和设计数据管理系统已越来越成为电子产品ＣＡＤ框架的关键构成部分，本文提出以面向对象方法管理框架系统中的工