细节
发表于 2025-3-26 23:28:41
http://reply.papertrans.cn/27/2646/264517/264517_31.png
amenity
发表于 2025-3-27 01:22:54
Conference proceedings 1997bstracts or full versions of three invited talks and three tutorials and six short presentations. The papers are organized in topical sections on materialized view maintenance, extending DBMs features, database updates, managing change in object databases, semantics of active databases, formal semantics, and new directions.
演绎
发表于 2025-3-27 08:24:16
http://reply.papertrans.cn/27/2646/264517/264517_33.png
没花的是打扰
发表于 2025-3-27 11:03:26
http://reply.papertrans.cn/27/2646/264517/264517_34.png
aqueduct
发表于 2025-3-27 15:20:25
https://doi.org/10.1007/978-3-658-33841-1malized as first order monadic theories. We show the problem to be co-NP-complete in general. Based on a formal system, we provide incremental update algorithms. By introducing a rule-goal (hyper)graph, non-trivial conditions are presented in different cases which guarantee the problem‘s reduction to the polynomial level.
我要沮丧
发表于 2025-3-27 19:35:37
Incremental updates for materialized OQL views,inearity, to derive incremental update plans. It turns out that it is feasible to employ ODMG OQL as a view definition language — instead of inventing a specialized one — in such an environment, since the majority of its clauses represent linear functions.
certain
发表于 2025-3-27 23:24:47
http://reply.papertrans.cn/27/2646/264517/264517_37.png
FOLD
发表于 2025-3-28 03:49:08
Logical updating of object class structures,malized as first order monadic theories. We show the problem to be co-NP-complete in general. Based on a formal system, we provide incremental update algorithms. By introducing a rule-goal (hyper)graph, non-trivial conditions are presented in different cases which guarantee the problem‘s reduction to the polynomial level.
GET
发表于 2025-3-28 07:45:53
0302-9743 ns on materialized view maintenance, extending DBMs features, database updates, managing change in object databases, semantics of active databases, formal semantics, and new directions.978-3-540-63792-9978-3-540-69647-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
faddish
发表于 2025-3-28 11:20:19
Conference proceedings 1997ux, Switzerland, in December 1997. The 22 revised full papers presented in this book were selected from a total of 59 submissions. Also included are abstracts or full versions of three invited talks and three tutorials and six short presentations. The papers are organized in topical sections on mate