Unification vs Fragmentation - What's the difference?
unification | fragmentation |
The act of unifying.
The state of being unified.
(mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
*
The act of fragmenting or something fragmented; disintegration.
The process by which fragments of an exploding bomb scatter.
(computing) The breaking up and dispersal of a file into non-contiguous areas of a disk.
(computing) The breaking up of a data packet when larger than the transmission unit of a network.
As nouns the difference between unification and fragmentation
is that unification is the act of unifying while fragmentation is the act of fragmenting or something fragmented; disintegration.unification
English
Noun
- 5.7.T ( Unification theorem' ) For any two terms or formulas
without quantifiers X and Y, the following holds.
(i) The ' unification algorithm UNIF1, applied to X, Y,
terminates after a finite number of steps.
(ii) {X, Y} is unifiable iff UNIF1 so indicates upon ter-
mination. Moreover, the substitution σ then available as out-
put is a most general unifier of {X, Y}.
