设当一个退学后，从表中删除该生信息，系统应自动删除他的选课记录。要实现这一要求，应在定义选课表的外码“学号”时说明违反参照完整性的删除规则为（ ）。