Checking Consistency of Database Constraints: a Logical Basis.

conf/vldb/86 François Bry Rainer Manthey Checking Consistency of Database Constraints: a Logical Basis. 13-20 1986 VLDB db/conf/vldb/vldb86.html#BryM86 db/conf/vldb/BryM86.html VLDB86/P013.PDF ... ... ... ... ... journals/jacm/DavisP60 ... conf/icalp/FaginV84 journals/csur/GallaireMN84 ... journals/jacm/Joyner76 ... ... ... ... ... ...