1) semantic constraint
语义约束
1.
Original semantic constraints in the conversion from XML DTD to relational mode;
XML DTD转换为关系模式的原语义约束
2.
Then the algorithm XTR is presented, and the method to preserve semantic constraints is discussed.
本文研究了XML模式,分析了已有的XML模式到关系模式的转换算法及其存在的问题,提出了新的转换算法XTR,并探讨了保留语义约束的方法。
3.
It describes how to transform relational schemas to XML schemas based on semantic constraints.
本文首先研究了关系模式的特点,然后针对XML的树型结构特点,研究了基于语义约束的从关系模式到XML模式的转换,最后给出了从关系模式到XML模式转换的算法RTS。
2) semantic constraints
语义约束
1.
XML semantic constraints have been widely researched already,whereas most of them ignore a basic problem:the derivation of XML semantic constraints,which is the right topic of this paper.
文章讨论了XML语义约束的产生问题。
2.
In general, we made a deep and effective research on the hypermedia semantic constraints from application area independent to specific application area de.
提出了一种基于数据库模式的超媒体语义网络模型 ,该模型通过引入模式约束图 ,对超媒体系统中的关系约束进行了分类 ,并给出了相应的约束检测算法 ;通过引入视图机制提出了结构约束的概念 ;通过扩充模式约束图的属性 ,描述了超媒体特定应用领域的计算约束 ,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究 。
3.
The semantic constraints of data can be well preserved to ensure the non-loss of the conversion from XML schema to relation schema.
数据语义约束的完整保留是实现XML Schema向关系模式"无损"转换的关键问题。
3) semantic constrains
语义约束
1.
But the types of semantic constrains of ERL are not enough.
针对ERL描述的语义种类不齐全的问题,在ERL已能处理的语义约束之外,又给出了聚集语义、覆盖语义的描述和可满足性的判定方
4) data semantic constraint
数据语义约束
5) Feature Constraint Semantics
特征约束语义
6) The Semantics And POS Constraint
词性语义约束
补充资料：操作语义
操作语义
operational semantics
式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条