Theoretical foundations of handling large substitution sets in temporal integrity monitoring

@article{Hlsmann1991TheoreticalFO,
  title={Theoretical foundations of handling large substitution sets in temporal integrity monitoring},
  author={Klaus H{\"u}lsmann and Gunter Saake},
  journal={Acta Informatica},
  year={1991},
  volume={28},
  pages={365-407}
}
Temporal integrity constraints describe long-term data dependencies in databases to be satisfied by each correct database evolution. They can be formulated in a temporal logic. For a runtime monitoring of temporal integrity the problem arises to handle the historical information necessary to monitor the long-term dependencies. This paper extends the already known techniques for minimizing the stored information for a single substitution of the free constraint variables using transition graph… CONTINUE READING