Jan Chomicki History-less Checking of Dynamic Integrity Constraints. 557-564 ICDE92/P557.pdf 1992 ICDE db/conf/icde/icde92.html#Chomicki92 conf/icde/92 db/conf/icde/Chomicki92.html conf/lics/AlurH90 conf/vldb/CeriW91 journals/sigmod/DayalBBCHLMRSCLJ88 conf/vldb/CastilhoCF82 conf/vldb/GabbayM91 journals/csur/GallaireMN84 ... journals/acta/HulsmannS91 journals/is/LipeckS87 ... journals/acta/Nicolas82 conf/sigmod/QianW88 journals/computer/SnodgrassA86 conf/sigmod/StonebrakerJGP90 ... conf/vldb/TuzhilinC90 conf/lics/VardiW86 conf/vldb/WidomCL91