【摘 要】
：
本文先从软件工程的角度,探讨验证数据库说明的重要性.然后提出一种数据库说明的时序语言.一个数据库说明由静态约束、时序约束和操作描述组成.数据库是一个动态物体.它的演变是由操作序列建立的.本文介绍一种验证数据库说明的形式方法.该方法检查静态约束是否是协调的;操作描述的实现是否可在合法的数据库状态中应用,导致合法状态并且没有不良效应;最后,它检查容许操作序列都满足所有的时序约束.
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
本文先从软件工程的角度,探讨验证数据库说明的重要性.然后提出一种数据库说明的时序语言.一个数据库说明由静态约束、时序约束和操作描述组成.数据库是一个动态物体.它的演变是由操作序列建立的.本文介绍一种验证数据库说明的形式方法.该方法检查静态约束是否是协调的;操作描述的实现是否可在合法的数据库状态中应用,导致合法状态并且没有不良效应;最后,它检查容许操作序列都满足所有的时序约束.
其他文献
在新近的文献[1]中我们给出局部域上一类逼近恒同算子f*K_ω(x),现继续这类算子的研究.主要讨论他们的逼近阶,逆逼近定理与相应的极大算子的型等.
很长时间以来罗布泊被误认为游移湖,而且在各种文献上所论述及标绘的位置、大小、形状全然不对。60年代拍摄的航空像片及70年代拍摄的卫星像片准确地反映了罗布泊的各种自然条件。它是一个稳定的、受地质构造和新构造运动控制的、补给的水量急剧减少而最后干涸的一个大内陆湖。湖的中心部份正位于阿奇克地堑的不断沉陷区。笔者认为通过对这些遥感影像的深入分析和论证,将不会再被“游移说”所误。 罗布泊由两个水系所补给:一
按照Smale对随机多项式空间概率分布的约定,讨论了多项式零点计算的复杂性.指出:(1)王则柯和徐森林的研究并没有表明Kuhn算法比Newton迭代好;(2)通过“二阶逼近零点”而不是“逼近零点”的概念把Kuhn算法和Newton迭代组合起来的话,王和徐的结果并经某些高维复区域的体积计算表明这是一个有效的算法;(3)进一步的分析表明稍加改进的Lehmer算法的估计成本比Kuhn算法的估计成本更低;
本文报道了由钠分子-原子系统中双光子混合共振四波混频产生在337.66-339.41nm和358.04-359.59nm两个波段范围内可调谐紫外相干辐射的研究结果.对这种产生紫外相干辐射的机制作了仔细的分析,并与通常在纯钠原子中的双光子共振四波混频效应作了比较.
我们采用在PETRA对撞机上运行的MARK-J探测器所获取的e~+e~-→强子事例,测量了能量直到46.78GeV的强子产生截面. 我们可以排除在46.5GeV以下,带2/3e电荷的“顶”夸克(t)产生的可能性,并测得了tt系统的宽度B_h·Γ_(cc)在95％置信水平下的值小于3keV. 对几个奇特的非遍举μ子事例进行了讨论.
本文利用常微分方程定性理论的方法证明了Burgers-K-dV混合型方程 u_t+uu_x-γu_(xx)+βu_(xxx)=0,存在有界非平凡的行波解.当条件(3.3)成立时,该解性质类同于Burgers方程的冲击波解;当条件(3.10)式成立时,行波解具有由大到小顺次排列的一串无穷多个波峰与波谷;特别当γ→0时,最大波峰附近的行波曲线趋于K-dV方程的单孤立子解.这一事实表明此方程的解确有波粒
遥感影象特征表明,右江断裂带是一条控制了两侧构造发育的深大断裂带。该带的活动期长,应力状态变化大,故在不同的时期,在构造的不同部位,表现出不同的构造特征。
成功地对吉林Ⅰ号陨石取得了平行与垂直第一阶段母体表面并相交于第二阶段母体中心的钻孔岩蕊.对两个钻孔的样品进行了系统的宇宙线成因核素(~3He,~(20,21,22)Ne,~(22)Na,~(26)Al,~(53)Mn,~(60)Co)、放射成因气体和俘捕稀有气体的研究,证实吉林陨石具有典型的两阶段宇宙线照射历史,确证作者曾提出的两阶段母体年龄、形状、大小及各样品埋藏位置的模式是合理的.各样品散裂、
本文描述了数据驱动式并行多栈归约机FPM2的体系结构,函数式程序设计语言FP在其上的实现和模型机FPMND的实际构作;给出了并行性和系统运行行为分析.FPM2是用新型计算机体系结构实现新型程序设计语言的一次尝试,它合理解决了时空冲突和性能与开销的矛盾,吸取了数据流机和归约机两者的优点,并同时具有自己的特点.
本文将Eddington的彗星喷泉模型推广到彗核有自转的情形,导出了关于彗星大气中性分子的视密度分布的相应公式,还证明了视密度分布依赖于观测者的位置. 应用该视密度分布公式,可以获取彗核自转的信息.