From Govit
The process of discovering meaningful correlations; patterns and trends by sifting through large amounts of data stored in repositories. Data mining employs pattern recognition technologies; as well as statistical and mathematical techniques.