Structuring the process of integrity maintenance

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1308, Issue , 1997, Pages 262-275

  Mayol, Enric ^a   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENCY; EXPERT SYSTEMS;

INTEGRITY CHECKING; INTEGRITY CONSTRAINTS; INTEGRITY MAINTENANCE;

MAINTENANCE;

EID: 84947810649     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0022037     Document Type: Conference Paper

References (23)

1. Abiteboul, S. "Updates, a New Frontier", Int. Conf. on Database Theory (ICDT'88), Springer, 1988, pp. l-18.
2. Aiken, A.; Hellerstein, J. M.; Widom, J. "Static Analysis Techniques for Predicting the Behavior of Active Database Rules", ACM Transactions on Database Systems, Vol. 20, N ° 1, Mrach 1995, pp. 3-41.
3. Bancilhon, F.; Ramakrishnan, R, "An Amateur's Introduction to Recursive Query Processing", Proc. ACM SIGMOD Int. Conf. on Management of Data, Washington D. C., 1986.
4. Baralis, E.; Widom, J. "An Algebraic Approach to Rule Analysis in Expert Database Systems", Proc. of the 20th VLDB Conference, Santiago, Chile, 1994, pp. 475-486.
5. García, C.; Celma, M; Mota, L.; Decker, H. "Comparing and Synthesising Integrity Checking Methods for Deductive Databases", Int. Conf. on Data Engineering (ICDE'94), Houston (Texas), 1994, pp. 214-222.
6. Chen, I. A.; Hull, R.; McLeod, D. "An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update". ACM Transactions on Database Systems, Vol. 20, N ° 4, December 1995, pp. 365-413.
7. Costal, D. "Un mètode de planificació basat en l'actualitzaci6 de vistes en bases de dades deductives", PhD Thesis, Barcelona, 1995 (in catalan).
8. Decker, H. "The Range Form of databases or How to avoid Floundering", Proc. 5th OGAI, Springer-Verlag, 1989.
9. Decker, H. "An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases", Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn (Germany), 1996.
10. Gertz, M. "On Specifying the Reactive Behavior on Constraint Violations", Informatik-Berichte 2/93, Institut für Informatik, Universität Hannover, 1993.
11. Gertz, M. "Specifying Reactive Integrity Control for Active Databases", Research Issiues on Data Engineering: Active Databases (RIDE-ADS'94), Houston, Texas, 1994, pp. 62-70.
12. Lloyd, J. W. "Foundations on Logic Programming", 2 nd edition, Springer, 1987.
13. Lloyd, J. W.; Topor, R. W. "Making Prolog More Expressive". Journal of Logic Programming, 1984, No. 3, pp. 225-240.
14. Moerkotte, G; Lockemann, P. C. "Reactive Consistency Control in Deductive Databases", ACM Transactions on Database Systems, Vol. 16, No. 4, December 1991, pp. 670-702.
15. Mayol, E.; Teniente, E. "Towards an Efficient Method for Updating Consistent Deductive Databases", Basque International Workshop on Information Techlogogy (BIWIT'96): Data Management Systems, IEEE Computer Society Press, San Sebastian, Spain, 1996, pp. 113-122.
16. Mayol, E.; Teniente, E. "Structuring the Process of Integrity Maintenance (Extended Version)", Technical Report RR-97/29, 1997, Universitat Politgcnica de Catalunya.
17. Oliv4, A. "Integrity Checking in Deductive Databases", Proc. of the 17th VLDB Conference, Barcelona, Catalonia, 1991, pp. 513-523.
18. Plexousakis, D. "Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases", Proc. of the 19th VLDB Conference, Dublin, Ireland, 1993, pp. 146-157.
19. Selj4e, R. "A New Method for Integrity Constraints Checking in Deductive Databases", Data & Knowledge Engineering, Vol. 15, 1995, pp. 63-102.
20. Teniente, E.; Olivé, A. "Updating Knowledge Bases while Maintaining their Consistency", The VLDB Journal, Vol. 4, Num. 2, 1995, pp. 193-241.
21. Teniente, E.; Urpi, T. "A Common Framework for Classifying and Specifying Deductive Database Updating Problems", International Conference on Data Engineering (ICDE'95), Taipei, 1995, pp. 173-182.
22. Urpí T.; Olivé A. "A Method for Change Computation in Deductive Databases", Proc. of the 18th VLDB Conference, Vancouver, 1992, pp. 225-237.
23. Wtithrich, B. "On Updates and Inconsistency Repairing in Deductive databases", Int. Conf. on Data Engineering, Vienna, 1993, pp. 608-615.