在一次数学兴趣小组的活动中，大家想编这样一道题：写出一个反比例函数，在x＜0时，y随x的增大而减小．请你写出一个符合这些条件的函数解析式：______．

在关系模型中，若属性A是关系R的主码，则在R的任何元组中，属性A的取值都不允许为空，这种约束称为______规则。