螺丝刀
发表于 2025-3-21 18:01:30
书目名称Logic in Databases影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0588023<br><br> <br><br>书目名称Logic in Databases读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0588023<br><br> <br><br>
脊椎动物
发表于 2025-3-21 20:34:14
Termination properties of spatial Datalog programs,tial queries must be established by ad-hoc arguments, if it can be established at all. As an illustration of the difficulties that can be encountered in this respect we discuss the topological connectivity query.
Halfhearted
发表于 2025-3-22 04:08:08
http://reply.papertrans.cn/59/5881/588023/588023_3.png
不连贯
发表于 2025-3-22 06:40:06
An axiomatic interpretation of confidentiality demands in logic-based relational databases,hat many security properties can already be proved from these few axioms. These properties characterise a mandatory-security-policy-conforming database with an unequivocal semantics of the data and a notion of integrity identical to that of relational databases.
defenses
发表于 2025-3-22 12:07:49
Applying transition rules to bitemporal deductive databases for integrity constraint checking,could violate some integrity contraint. Although, we have a large amount of transition rules, for each one we argue its utility or we eliminate it. We augment a database with this set of transition and event rules and then standard SLDNF resolution can be used to check satisfaction of integrity constraints.
Abjure
发表于 2025-3-22 16:00:18
Formal characterization of active databases,struct to characterize the non-determinism that arises when several rules can fire at the same time and the preference between them is not specified. We show through examples how our language allows us to express features of different active database systems.
Charitable
发表于 2025-3-22 18:16:36
http://reply.papertrans.cn/59/5881/588023/588023_7.png
Aesthete
发表于 2025-3-23 00:59:01
Stable model checking for disjunctive logic programs,ynomial time on the class of . and, in case of general disjunctive logic programs, it limits the inefficient part of the computation . to the components of the program which are not head-cycle free. Some optimization techniques are also employed to reduce the amount of computation to be performed in practice.
debouch
发表于 2025-3-23 01:58:52
http://reply.papertrans.cn/59/5881/588023/588023_9.png
TRUST
发表于 2025-3-23 08:17:48
http://reply.papertrans.cn/59/5881/588023/588023_10.png