壮观的游行
发表于 2025-3-25 06:01:55
http://reply.papertrans.cn/39/3882/388183/388183_21.png
纬线
发表于 2025-3-25 10:37:25
The use of transitively irreducible kernels of full families of functional dependencies in logical vely irreducible kernels in graphs. This idea, in particular properties of trans. irr. kernels of full families of functional dependencies (FDs) are investigated. It is shown that such kernels have some kind of coset structure which allows to restrict the investigations to the so-called main classes
Reverie
发表于 2025-3-25 12:22:55
http://reply.papertrans.cn/39/3882/388183/388183_23.png
几何学家
发表于 2025-3-25 18:50:39
http://reply.papertrans.cn/39/3882/388183/388183_24.png
spondylosis
发表于 2025-3-25 22:19:22
http://reply.papertrans.cn/39/3882/388183/388183_25.png
bromide
发表于 2025-3-26 01:33:42
https://doi.org/10.1007/978-3-322-85973-0The max. and minimal elements of the main classes contain all important information on the full families of FDs. The result can be employed as a common framework for algorithms essential in logical data base design.
消散
发表于 2025-3-26 08:05:20
http://reply.papertrans.cn/39/3882/388183/388183_27.png
我邪恶
发表于 2025-3-26 08:37:32
http://reply.papertrans.cn/39/3882/388183/388183_28.png
巧思
发表于 2025-3-26 13:02:43
Graph rewriting and automatic, machine-independent program optimization, graph-like intermediate code in which all structural information of the source code is still present. Optimization is then carried out by graph manipulations. This is sketched by some examples, namely local common subexpression elimination, motion of loop invariant computations, and induction variable elimination.
颠簸地移动
发表于 2025-3-26 18:25:59
The power of a one-dimensional vector of processors,ine a communication geometry which Kung calls the "one-dimensional array of processors", and which we call a "processor vector" or "PV". We will see that this simple structure can efficiently solve the rather difficult problems of multiplying matrices and of constructing minimum spanning trees.