mysqlphp 假设:100亿行数据存在文件中,每行数据有一个数字,提取前100个最大数字,怎么搞? (PHP+mysql实现 思路即可)