从一个数据库文件中取出满足某个条件的所有记录形成一个新的数据库文件的操作是（）操作。