轻快来事 发表于 2025-3-27 00:13:58

http://reply.papertrans.cn/59/5881/588023/588023_31.png

从容 发表于 2025-3-27 04:09:22

http://reply.papertrans.cn/59/5881/588023/588023_32.png

guzzle 发表于 2025-3-27 06:06:42

http://reply.papertrans.cn/59/5881/588023/588023_33.png

stratum-corneum 发表于 2025-3-27 09:47:15

http://reply.papertrans.cn/59/5881/588023/588023_34.png

Pulmonary-Veins 发表于 2025-3-27 17:23:54

http://reply.papertrans.cn/59/5881/588023/588023_35.png

流出 发表于 2025-3-27 20:25:47

http://reply.papertrans.cn/59/5881/588023/588023_36.png

BLAND 发表于 2025-3-27 21:55:27

Learning query rules for optimizing databases with update rules,ing Datalog. databases based on two kinds of rules, namely update rules and query rules. In this approach, every fact to be inserted or to be deleted is stored in the database, in order to handle updates over extensional or . predicates in a sound and deterministic way..However, two important proble

朦胧 发表于 2025-3-28 04:08:35

Formal characterization of active databases,lity in studying the effects of different priority criteria between fireable rules, different actions and event definitions, and also to make claims about effects of transaction and prove them without actually executing them. Our characterization is related but different from similar attempts by Zan

Acclaim 发表于 2025-3-28 08:57:38

http://reply.papertrans.cn/59/5881/588023/588023_39.png

Receive 发表于 2025-3-28 10:38:17

The expressive power of partial models for disjunctive deductive databases,mal stable (M-stable), and least undefined stable (L-stable) semantics for function-free disjunctive logic programs are considered, for which the expressiveness of queries based on possibility and certainty inference is determined. The analysis pays particular attention to the impact of syntactical
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Logic in Databases; International Worksh Dino Pedreschi,Carlo Zaniolo Conference proceedings 1996 Springer-Verlag Berlin Heidelberg 1996 Ak