外科医生
发表于 2025-3-28 17:08:21
http://reply.papertrans.cn/27/2646/264516/264516_41.png
URN
发表于 2025-3-28 20:39:31
(Un-)Sicherheiten, Alter(n) und Altersbildern as an interesting demonstration of the synergy between object-oriented and deductive technology. We provide a precise description of the problem, discuss what makes it difficult, and present detailed techniques that we used for its resolution.
heckle
发表于 2025-3-29 02:17:15
,Der verborgene Sinn? Musik über Musik,valuation of logical queries involving recursion. The front-end interacts with the user in a logical language that has more expressive power than relational query languages. We present the structure of Aditi, discuss its components in some detail, and present performance figures.
dendrites
发表于 2025-3-29 07:06:46
Finanzwissenschaftliche Erklärungsversucheratification, needed in order to correctly deal with hierarchies, and a reduction to logic programming with function symbols. The solutions are based on a new technique (explicit Skolem functors) that provides a powerful tool for manipulating object identifiers.
cutlery
发表于 2025-3-29 08:15:59
0302-9743 ion of declarative and proceduralfeatures?The volume includes 29 papers that contribute towardsanswering these questions.978-3-540-57530-6978-3-540-48212-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
Arthr-
发表于 2025-3-29 14:35:22
https://doi.org/10.1007/978-3-322-80694-9d to obtain efficient specifications. We also consider the possibility that links can be traversed backwards, which subsumes previous proposals to specify inverse relationships at the schema level and also fully exploits the meaning of inheritance links.
brother
发表于 2025-3-29 17:15:45
An extension of path expressions to simplify navigation in object-oriented queries,d to obtain efficient specifications. We also consider the possibility that links can be traversed backwards, which subsumes previous proposals to specify inverse relationships at the schema level and also fully exploits the meaning of inheritance links.
悄悄移动
发表于 2025-3-29 20:14:18
Explaining program execution in deductive systems,the chain of inferences is often not evident. (2) When the input data set is large, it is very difficult for a user to inspect the data and determine which facts lead to which answers, and exactly how. (3) Such programs do not guarantee a fixed evaluation strategy, and this makes it difficult for a
狗舍
发表于 2025-3-30 02:43:35
A logic for rule-based query optimization in graph-based data models, a refinement calculus over the algebra which defines when one algebraic expression subsumes another. The calculus makes it possible to formally prove the correctness of rewrite rules used in rule-based query optimizers, and is sufficiently expressive to admit rules encoding many forms of semantic q
形状
发表于 2025-3-30 05:47:56
Specifying rule-based query optimizers in a reflective framework,ynthesized attributes for attribute grammars, and we believe it is expressive of a wide range of information: logical and physical properties, both desired and delivered, cost estimates, optimization contexts, and control strategies. Finally, we present a mechanism for processing optimizer specifica