Menthol
发表于 2025-3-21 16:21:35
书目名称Logic and Data Bases影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0587957<br><br> <br><br>书目名称Logic and Data Bases读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0587957<br><br> <br><br>
gratify
发表于 2025-3-21 23:52:49
http://reply.papertrans.cn/59/5880/587957/587957_2.png
包裹
发表于 2025-3-22 04:28:12
http://reply.papertrans.cn/59/5880/587957/587957_3.png
BLANK
发表于 2025-3-22 07:04:47
http://reply.papertrans.cn/59/5880/587957/587957_4.png
judicial
发表于 2025-3-22 11:21:14
http://reply.papertrans.cn/59/5880/587957/587957_5.png
新义
发表于 2025-3-22 13:28:23
Nondeterministic Languages Used for the Definition of Data Modelsive an implementation of the data model described by the equations using a predicate logic based language such as PROLOG..Examples of this technique applied to a data model based on binary relations will be shown.
Contracture
发表于 2025-3-22 19:00:51
Negation as Failurecertain constraints, which still leaves us with a data base more general than a conventional relational data base, the query evaluation process will find every answer that is a logical consequence of the completed data base.
改正
发表于 2025-3-22 22:54:03
http://reply.papertrans.cn/59/5880/587957/587957_8.png
Kernel
发表于 2025-3-23 05:24:41
Deductive Planning and Pathfinding for Relational Data Bases plans to create data-base access strategies that guide the retrieval of data values, to assemble answers to user requests, and to produce proofs supporting those answers. Several examples are presented to illustrate the current capability of the prototype Deductively Augmented Data Management (DADM) system.
残废的火焰
发表于 2025-3-23 06:47:03
Integrity Checking in Deductive Data Basestion in the data base are studied. For transition laws, a formalism is proposed which enables them to be handled in the same way as integrity rules stemming from state laws. The self-consistency of transition laws is also discussed.