Author:
Mehdi Snene,Jorge Pardellas
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Barbara, D., Garcia-Molina, H.: The Demarcation Protocol: A Technique for Maintaining Arithmetic Constraints in Distributed Database Systems. In: Extending Database Technology Conference, Vienna. LNCS, vol. 580, pp. 373–397 (March 1992)
2. Bernstein, P.A., Blaustein, B.T., Clarke, E.M.: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. In: Proceedings of the Sixth Conference on Very Large Data Bases, pp. 126–136 (1980)
3. Blakeley, J.A., Coburn, N., Larson, P.: Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates. ACM Transactions on Database Systems 14(3), 369–400 (1989)
4. Bry, F., Manthey, R., Martens, B.: Integrity Verification in Knowledge Bases. In: Logic Programming. LNCS (LNAI), vol. 592, pp. 114–139 (1992)
5. Elkan, C.: Independence of Logic Database Queries and Updates. In: Proceedings of the Ninth Symposium on Principles of Database Systems (PODS), Nashville, TN, pp. 154–160 (June 1990) ACM SIGACT-SIGMOD-SIGART