John K. Debenham An Analysis of Database Rules. 113-120 1997 IDEAS db/conf/ideas/ideas97.html#Debenham97