(1) Processen med at udtrække de væsentlige karakteristika af data ved at definere datatyper og deres tilknyttede funktionelle egenskaber og ignorerer repræsentation details.~(2) resultatet af processen i (1).