逻辑完整性是指对数据库逻辑结构的保护,包括数据的语义完整性与操作完整性。
Logical integrity refers to the logical structure of the database protection, including the semantic integrity and operational integrity.
其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic.
What's the point? Again, you can have things that are syntactically legal but not semantically meaningful, and static semantics is going to be a way of helping us decide what expressions, what pieces of code, actually have real meaning to it. All right?
重点是什么?重申,你可以有东西在语义结构的逻辑上有意义,但是在语义上无意义,而static语义,将是一个帮助我们,决定哪些表达,哪部分的代码实际上,有意义的途径,好么?
应用推荐