对表进行记录的筛选，用的运算是()。