Scarlet Schwiderski;Thorsten Hartmann;Gunter Saake
-;-;-
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)