语义约束,semantic constraint
1)semantic constraint语义约束
1.Originalsemantic constraints in the conversion from XML DTD to relational mode;XML DTD转换为关系模式的原语义约束
2.Then the algorithm XTR is presented, and the method to preservesemantic constraints is discussed.本文研究了XML模式,分析了已有的XML模式到关系模式的转换算法及其存在的问题,提出了新的转换算法XTR,并探讨了保留语义约束的方法。
3.It describes how to transform relational schemas to XML schemas based onsemantic constraints.本文首先研究了关系模式的特点,然后针对XML的树型结构特点,研究了基于语义约束的从关系模式到XML模式的转换,最后给出了从关系模式到XML模式转换的算法RTS。
英文短句/例句
1.Semantic Constraints of Anaphoric Definite Noun Phrases;回指性有定名词词组的语义约束机制
2.Study on Transforming Semantic Constraints of XML Schema into Relational DatabaseXML Schema语义约束在关系数据库中的实现
3.Research on Complicated Process Modeling Based on Synthesis Technology of Semantics Constraints Net基于语义约束网合成技术的复杂流程建模研究
4.Hierarchical Semantic Constraint Model for Focused Remote Sensing Information Services遥感信息聚焦服务的多层次语义约束模型
5.Boundedness Features and Temporal Phrase Semantic Restrictions of Event Verb Phrases;VP界性特征对时量短语的语义约束限制——兼论“V+了+时量短语+了”歧义格式
6.Semantic Annotations of Image Based on Mutual Information and Constrained Clustering基于互信息约束聚类的图像语义标注
7.Semantic Service Matchmaking for Autonomic Unit with QoS Constraints支持QoS约束的自主单元语义服务匹配
8.Research on Parametric Design Based on Constraints and Semantic Feature Modeling;基于约束的参数化设计及语义特征造型的研究
9.Semantic Web Service Discovery Framework with QoS Constraints一种支持QoS约束的语义Web服务发现框架
10.constrained GLS约束广义最小平方法
11.In order to write unambiguous constraints, so-called formal languages have been developed.为了写出无歧义的约束，已经开发出几种所谓的“形式语言”。
12.Research on Automatic Adjustment of Invalid Feature Models and Constraint-Solving in Feature-Based Modeling;语义特征造型的自动调整策略及约束求解机制的研究
13.Constraint Based Prolog Semantics and Its Applications in the Testing, Analysis and Verification of Prolog Programs;基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究
14.Aggregate queries semantic with spatial relation constraints in spatio-temporal database具有空间关系约束的时空数据聚集查询语义理论
15.Select a valid ring constaint value to define a complete ring constraint.选择有效的环式约束值以定义完整的环式约束。
16.A compact is an agreement or binding obligation.契约是一个协议或具有约束力的义务。
17.Definition: An instance data node with associated constraints.[定义：联系着相关约束的实例数据结点。
18.Generalized Monotone Line Search SQP Algorithm for Constrained Minimax Problems;约束MINIMAX问题的广义单调线搜索SQP算法
相关短句/例句
semantic constraints语义约束
1.XMLsemantic constraints have been widely researched already,whereas most of them ignore a basic problem:the derivation of XMLsemantic constraints,which is the right topic of this paper.文章讨论了XML语义约束的产生问题。
2.In general, we made a deep and effective research on the hypermediasemantic constraints from application area independent to specific application area de.提出了一种基于数据库模式的超媒体语义网络模型 ,该模型通过引入模式约束图 ,对超媒体系统中的关系约束进行了分类 ,并给出了相应的约束检测算法 ;通过引入视图机制提出了结构约束的概念 ;通过扩充模式约束图的属性 ,描述了超媒体特定应用领域的计算约束 ,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究 。
3.Thesemantic 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 ofsemantic 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*赋值。
