密切关系
发表于 2025-3-25 06:43:04
http://reply.papertrans.cn/59/5802/580130/580130_21.png
出生
发表于 2025-3-25 09:29:21
The LOGIDATA+ model,can be built by means of the recursive use of set, tuple, and sequence constructors. As usual in database frameworks, the model has an intensional level (with the notion of scheme) and an extensional level, (with the notion of instance). A data definition language for the description of LOGIDATA+ schemes is also presented.
很是迷惑
发表于 2025-3-25 13:50:42
http://reply.papertrans.cn/59/5802/580130/580130_23.png
Nuance
发表于 2025-3-25 16:34:58
http://reply.papertrans.cn/59/5802/580130/580130_24.png
狗窝
发表于 2025-3-25 23:58:08
Management of extended update operations, for specifying complex update transactions. The resulting language is first informally presented by using several examples. Then, the syntax and the semantics are formally given. Finally, an abstract interpreter is proposed, and its correctness is discussed.
prediabetes
发表于 2025-3-26 00:40:17
Taxonomic reasoning in LOGIDATA+,ips (i.e. compute . between classes on the basis of their descriptions. From a theoretical point of view, this approach makes it possible to give a formal definition of . to a schema, while, from a pragmatic point of view, it is possible to automatically . a new class in the correct position of a given taxonomy.
谦虚的人
发表于 2025-3-26 06:14:49
Taxonomic reasoning with cycles in LOGIDATA+,d and the necessary algorithms to detect incoherence and compute subsumption in a LOGIDATA. schema are given. Some examples of subsumption computation show its feasibility for schema design and validation.
resilience
发表于 2025-3-26 11:25:35
Introducing taxonomic reasoning in LOGIDATA+,ng us to deal with a form of incomplete knowledge in a way that is semantically correct. After introducing defined classes and the notion of interpretation function, it is possible to formally define the concept of subsumption, an inference technique that makes it possible reasoning about objects and classes on the basis of their descriptions.
heterodox
发表于 2025-3-26 12:48:06
http://reply.papertrans.cn/59/5802/580130/580130_29.png
mutineer
发表于 2025-3-26 18:19:44
Book 1993research actionfunded by the Italian national research council CNR.Theaim of the LOGIDATA+ project is the definition ofadvanced database systems which significantly extend thefunctionalities of the current systems, with specificreference to the application areas for which relationalsystemsare not co