问到了烧瓶 发表于 2025-3-28 15:05:59

http://reply.papertrans.cn/27/2646/264518/264518_41.png

Eructation 发表于 2025-3-28 20:14:55

Schema updates and consistency,We develop a formal model to capture the . of method schemas, and obtain basic results on such evolutions. We use our model to obtain an algorithm for .. The algorithm is . in the sense that it avoids any redundant checking.

labile 发表于 2025-3-29 00:25:33

https://doi.org/10.1007/3-540-55015-1Deduktive Datenbanken; Knowledge Representation; Logic Programming; classification; data model; database;

慷慨援助 发表于 2025-3-29 04:31:17

978-3-540-55015-0Springer-Verlag Berlin Heidelberg 1991

troponins 发表于 2025-3-29 07:30:03

Aufbau der Ala-Anzeigen-Gesellschaft on Shipman‘s original Daplex language for the optimisation. The advantage of this is that it fits the navigational style of querying very well, but it is also optimisable. The optimisation is based on the equivalence of most Daplex queries to . as pointed out in ..As we developed the

神经 发表于 2025-3-29 11:54:47

http://reply.papertrans.cn/27/2646/264518/264518_46.png

Orthodontics 发表于 2025-3-29 15:54:00

https://doi.org/10.1007/978-3-322-83273-3perclass-subclass relationship. We show that, the H-tree indexing scheme is indeed a general access method for the new generation DBMS that most probably will support the object-oriented concept and have the deductive capability. The simplest form of the H-tree, like the widely used ..-tree, can be

hereditary 发表于 2025-3-29 22:30:18

http://reply.papertrans.cn/27/2646/264518/264518_48.png

justify 发表于 2025-3-30 01:52:43

http://reply.papertrans.cn/27/2646/264518/264518_49.png

Guileless 发表于 2025-3-30 06:27:17

https://doi.org/10.1007/978-3-658-20233-0iously proposed approach, the . construct introduced by Krishnamurthy and Naqvi, from the viewpoints of amenability to efficient implementation and expressive power. Thus, we define a construct called ., which is consistent with the fixpoint-based semantics, cures the deficiencies of the former appr
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Deductive and Object-Oriented Databases; Second International C. Delobel,M. Kifer,Y. Masunaga Conference proceedings 1991 Springer-Verlag B