Jan Chomicki Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. 149-186 1995 20 ACM Trans. Database Syst. 2 db/journals/tods/tods20.html#Chomicki95 TODS20/P149.PDF http://doi.acm.org/10.1145/210197.210200 db/journals/tods/Chomicki95.html books/aw/AbiteboulHV95 journals/is/AhnS88 journals/cacm/Allen83 journals/iandc/AlurH93 conf/rex/AlurH91 books/mk/minker88/AptBW88 ... conf/vldb/BernsteinBC80 conf/vldb/CeriW91 journals/debu/Chomicki94 ... conf/icde/Chomicki92 conf/pods/Chomicki92 conf/pods/ChomickiI88 journals/jcss/ChomickiN95 journals/tkde/ChomickiT95 journals/tods/CliffordC94 ... journals/sigmod/DayalBBCHLMRSCLJ88 conf/vldb/CastilhoCF82 journals/jacm/Demolombe92 journals/jacm/Paola69a ... ... ... conf/vldb/GabbayM91 conf/popl/GabbayPSS80 journals/csur/GallaireMN84 ... conf/vldb/GehaniJS92 conf/sigmod/GehaniJS92 conf/icde/GertzL93 ... conf/lics/HarelLP90 conf/sigmod/HsuI85 journals/acta/HulsmannS91 ... ... conf/pods/KanellakisKR90 ... ... conf/sigmod/Kung85 journals/debu/LipeckGS94 journals/is/LipeckS87 journals/cacm/LohmanLPS91 ... ... journals/toplas/MorzentiMG92 conf/stacs/NassorV92 journals/acta/Nicolas82 ... conf/icde/Qian88 conf/vldb/QianS87 conf/sigmod/QianW88 journals/dpd/Ramamritham93 journals/dke/SchwiderskiHS94 journals/tkde/SistlaW95 journals/tods/Snodgrass87 journals/computer/SnodgrassA86 books/bc/TanselCGJSS93 journals/tcs/Topor87 ... ... conf/vldb/TuzhilinC90 journals/tods/GelderT91 conf/lics/VardiW86 ... conf/popl/Vardi88 conf/vldb/WidomCL91 journals/iandc/Wolper83