排斥 发表于 2025-3-23 13:00:51

Negation and aggregates in recursive rules: the ,++ approach,rent research in deductive databases. In this paper, we present a solution that combines generality with efficiency, as demonstrated by its implementation in the new .++ system. A novel and general treatment of set aggregates, allowing for user-defined aggregates, is also presented.

不自然 发表于 2025-3-23 16:38:31

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

啮齿动物 发表于 2025-3-23 19:02:32

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

inchoate 发表于 2025-3-24 01:19:22

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

成绩上升 发表于 2025-3-24 03:35:55

An extension of path expressions to simplify navigation in object-oriented queries, that this does not fully exploit their potential expressive power as a tool to specify connections between objects. In particular, a user should not be required to specify a path to be followed in full, but rather should provide enough information so that the system can infer missing details automa

确定无疑 发表于 2025-3-24 09:40:15

Query classes,he query language in such a data model has to reflect the amalgamation because it works as the interface to the user and/or application program. This paper proposes a language to formulate queries as classes related to the schema classes and constrained by an associative membership condition. Answer

Jacket 发表于 2025-3-24 10:54:26

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

cumulative 发表于 2025-3-24 16:32:42

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

Opponent 发表于 2025-3-24 20:13:27

https://doi.org/10.1007/978-3-658-33707-0antically-rich query that is more efficiently processed. We also discuss the issues of conflict resolution strategies and query evaluation priorities for queries involving the upper bounds of objects in the F-logic “type” lattice.

Detonate 发表于 2025-3-25 00:10:35

http://reply.papertrans.cn/27/2646/264516/264516_20.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-