可怖 发表于 2025-3-21 18:01:04

书目名称Deductive and Object-Oriented Databases影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0264516<br><br>        <br><br>书目名称Deductive and Object-Oriented Databases读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0264516<br><br>        <br><br>

Communicate 发表于 2025-3-21 22:43:58

Foundations of aggregation in deductive databases,hat the underlying cause of many of the difficulties encountered in extending deductive database semantics to include aggregation is that . does not preserve the structure of the underlying domain very well. We study a binary relation ⊏ that is stronger than the standard ⊂, contrasting its propertie

闷热 发表于 2025-3-22 02:12:59

http://reply.papertrans.cn/27/2646/264516/264516_3.png

夸张 发表于 2025-3-22 05:34:07

Datalog with non-deterministic choice computes ,,the literature, we concentrate on the analysis of the . construct from the point of view of the expressive power. We show how such construct is capable of expressing several interesting deterministic and non deterministic problems, such as forms of negation, and ordering. We then prove that Datalog

Constrain 发表于 2025-3-22 11:46:02

http://reply.papertrans.cn/27/2646/264516/264516_5.png

盲信者 发表于 2025-3-22 16:46:43

Explaining program execution in deductive systems,el ‘explanations’ of a program evaluation/execution can be constructed to provide added functionality: (1) To debug a program by following a chain of deductions leading to an unexpected (and possibly incorrect) conclusion; (2) To follow the derivation of certain . conclusions to determine why and ho

盲信者 发表于 2025-3-22 20:17:41

A logic for rule-based query optimization in graph-based data models,be used to express both user level queries as well as low-level evaluation strategies or access plans. This property enables rule-based query optimization to be viewed as the process of . expressions in such a language: “non-procedural” sub-expressions are gradually replaced by more “procedural” sub

compose 发表于 2025-3-23 00:17:20

Specifying rule-based query optimizers in a reflective framework, from some kind of specification of optimizer behavior. These specification frameworks do a good job of partitioning and modularizing the kinds of information needed to generate a query optimizer. Most of them represent at least part of this information in a rule-like form. Nevertheless, large porti

TATE 发表于 2025-3-23 03:54:26

Semantic query optimization in deductive object-oriented databases,ect-oriented specifications of F-logic proposed by Kifer and Lausen using the semantic query optimization technique developed by Chakravarthy, Grant, and Minker. In general, query processing in object-oriented databases is expensive when a query incorporates declarative rules, methods and inherited

法官 发表于 2025-3-23 05:55:15

http://reply.papertrans.cn/27/2646/264516/264516_10.png
页: [1] 2 3 4 5 6 7
查看完整版本: Titlebook: Deductive and Object-Oriented Databases; Third International Stefano Ceri,Katsumi Tanaka,Shalom Tsur Conference proceedings 1993 Springer-