Wat is de betekenis van External merge?

2025-07-16
Woordenboek automatisering

Henk Biemond (1985)

External merge

Extern samenvoegen Een sorteermethode, waarbij reeksen records of controlewoorden tot één reeks worden teruggebracht, gewoonlijk na één of meer interne sorteerbewerkingen.