限制是谓词与

限制运算把关系变量谓词与筛选条件相与，只保留让复合谓词为真的元组。把 WHERE 理解成谓词加强，而不是逐行程序判断，能更自然地推导查询含义。