1. Updated derived relations: Detecting irrelevant or autonomously computable updates;Blakely;ACM Transactions on Database Systems,1989
2. Constraint enforcement through production rules: Putting active databases to work;Ceri;IEEE Transactions on Knowledge and Data Engineering,1992
3. Constraint checking with partial information;Gupta,1994
4. Semantic database modeling;Hull;Computing Surveys,1988