逻辑的例句大全

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

With the deepening and development of research, the focus of logical paradox research is naturally shifted to semantical paradox.

随着研究的深入发展，逻辑悖论研究的重心自然而然转移到了语义悖论上来。

Epistemic logic ( 3): on semantic tableau proof procedure

认识逻辑（3）：基于语义tableau的证明理论

Web database and knowledge base standard of mineral processing were built, and traditional rule, frame, semantic model and predicate logic knowledge were characterized by relational data pattern.

构造了选矿基础Web数据库，建立了统一的知识库标准，基于关系模式表征了传统的规则、框架、语义网络、谓词逻辑等知识；

Because there is no error handling logic, you must rely on database constraints to ensure semantic integrity of the data.

因为没有错误处理逻辑，必须依靠数据库的限制，以确保数据的语义完整性。

Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN

描述逻辑εLN循环术语集的不动点语义及推理

A compactness theorem of abstract semantics

关于抽象逻辑紧致性的一个定理

XML and ontology as the key technologies solves the problem of the syntax and semantics of data heterogeneous. This model shields the differences of physical and logical of the data source to the upper layer users, achieves transparent access.

XML和本体作为系统采用的关键技术分别从语法、语义两个方面解决了数据的异构问题，对上层用户屏蔽了底层数据源物理和逻辑的差异性，实现了应用层的透明访问。

In the investigation, first, the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.

首先采用描述逻辑表达领域本体的语法和语义，实现领域本体的形式化转换；

A Distributed Query Optimization Based on Semantics and Logic

基于语义和逻辑的分布查询优化

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

At first, he developed a modal logic semantics, and has achieved notable successes.

起初，他发展了模态逻辑语义学，并取得了引人注目的成就。

Increasingly, the programmer's logical data request is translated to physical form by a database management system.

用数据库管理系统把程序员的逻辑数据请求转换成物理形式是越来越广泛采用的一种方法.

The multi-level index includes the tenants node index, tenants logical index, physical database index. 2.

该多级索引包括租户节点索引、租户逻辑索引、数据库物理索引三级。

In this paper, A new retrieval mechanism of database is investigated based on quantified propositional calculus of Fuzzy Logic. It Can be used to process the more general fuzzy database retrieval.

本文从基于模糊逻辑的量化命题演算出发，探究一个新的数据库查询机制，用以处理更一般的量化命题意义的模糊数据库查询。

A database processor incorporating much of the logic of a database management system might control all communications with the data.

合并了大量数据库管理系统逻辑功能的数据库处理机可控制与数据库的所有通信；

And the model abstracts the logic of the data, which makes the view and the action independent of, for instance, the type of database used by the application.

而数据，这使得视图和独立的行动，例如，逻辑模型抽象，数据库类型的应用程序。

This paper brings about a new social insurance management information system ( SIMIS) based on the four-layer system structure, which makes it feasible that the physics of database is independent of the logic, and ensures the safety for the database using CORBA safe service.

通过开发社会保险管理系统的实践，提出了一个基于四层体系结构的社会保险管理系统，实现了数据库的物理和逻辑的独立，利用CORBA的安全服务，确保了数据库的安全性。

Then the logic configuration and physics configuration of database are designed in turn.

接着又依次设计了系统数据库逻辑结构和物理结构。