psal emp.sal%type
就是指psal这个变量是引用了表emp中的sal字段的类型。如果emp表中sal的类型变了，psal这个字段的类型也会跟着变化，总之，psal和表emp中sal字段类型一致。引用型变量可以不用知道该表中类型是什么，只要引用的表中的字段类型改变，定义的变量就跟着改变， 用引用型变量易于维护。