Integrity constraint checking in chimera

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

Volumn 1191, Issue , 1996, Pages 160-186

  Bertino, E ^a   Catania, B ^a   Bressan, S ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT DATABASES;

CONSTRAINT VERIFICATIONS; DATALOG; DEDUCTIVE METHODS; DEDUCTIVE RULE; INTEGRITY CONSTRAINTS; LOGICAL FORMULAS; STRATIFIED NEGATION;

OBJECT-ORIENTED DATABASES;

EID: 84958985437     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62501-1_31     Document Type: Conference Paper

References (34)

1. S. Abiteboul and S. Grumbach. COL: A Logic Based Language for Complex Objects. In F. Bancilhon and P. Buneman, editors, Advances in Database Programing Languages, pages 347-377, 1990. ACM Press.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
3. P. Bayer. Update Propagation for Integrity Cheching, Materialized View Maintenance and Production Rule Triggering. Technical Report 92-10, ECRC, Munich, Germany, 1992.
4. S. Bressan and Ph. Bonnet. Flora-Prime: Implementing a Nested Relational Model with ECLiPSe and Bang. IDEA Technical Report IDEA.DE.3E.26.2, 1994.
5. C. Beeri, S. Naqvi, R. Ramakrishnan, O. Shmueli, and S. Tsur. Sets and Negation in a Logic Database Language (LDLl). In Proc. of the Sixth ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pages 21-37, San Diego, California, March 1987.
6. M. Benedikt, T. Griffin, L. Libkin. Verifiable Properties of Database Transactions. In Proc. of the Sixth ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, pages 117-127, Montreal, Canada, June 1996.
7. E. Bertino and L. Martino. Object-Oriented Database Systems - Concepts and Architectures. Addison-Wesley Int., 1993.
8. F. Bry, H. Decker, and R. Manthey. A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In Proc. of the Int. Conf. on Extending Database Technology, EDBT'88, pages 488-504, Venice, Italy, 1988.
9. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic Generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems. 19(3):367-422, 1994.
10. S. Ceri, R. Manthey, E. Baralis, E. Bertino, C. Draxler, U. Griefahn, D. Montesi, A. Sikeler and L. Tanca. Consolidated Specification of Chimera, CM and CL. IDEA Deliverable, Politecnico of Milano, November 1993.
11. S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. In Proc. of the 16th Int. Conf. On Very Larga Data Bases, Brisbane, Australia, 1990.
12. S.K. Das and M.H. Williams. A Path Finding Method for Constraint Checking in Deductive Databases. Data and Knowledge Engineering, pages 223-244, 1989.
13. EL Decker. Integrity Enforcement in Deductive Databases. In Proc. of the First Int. Workshop on Expert Database Systems, 1986.
14. A. Formica and M. Missikoff. Integrity Constraint Representation in Object-Oriented Databases. In Information and Knowledge Management, Lecture Notes in Computer SCience n. 752, selected papers from CIKM'92, Baltimore, Maryland, pages 69-85, 1992.
15. N. Gehani and H.V. Jagadish. Ode as an Active Database: Constraints and Triggers. In Proc. of the 17th Int. Conf on Very Large Data Bases, Barcelona Spain, 1991.
16. S. Greco and N. Leone and P. Rullo. COMPLEX: An Object-Oriented Logic Programming System. IEEE Transactions on Knowledge and Data Engineering, 4(4): 344-359, 1990.
17. L.J. Henshen, W.W. MacCune, and S.A. Naqvi. Compiling Constraint Checking Programs from First Order Formulas. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 145-169, 1984.
18. M. Jarke. ConceptBase V3.0 User Manual Technical report MIP-9106, Uni-versitat Passau.
19. W. Jonkerands. Bressan. ECLTSe CHIMERA Subset IDEA Technical Report WP.3E.016.1,2, 1994.
20. M. Jeusfeld and M. Jarke. From Relational to Object-Oriented Integrity Simplification. In Proc. of the Conf. on Deductive and Object-oriented Databases, DOOD, pages 460-477, 1991.
21. A.P. Karadimce and S.D. Urban. A Framework for Declarative Updates and Constraint Maintenance on Object-Oriented Databases. In Proc. of the IEEE Int. Conf. On Data Engineering, pages 391-398, 1993.
22. I. Kobayashi. Validing Database Updates. Information Systems, 9(1):1-17, 1984.
23. R. Kowalski, F. Sadri, and P. Soper. Integrity Checking in Deductive Databases. In Proc. of the 13th Int. Conf. On Very Larga Data Bases, pages 61-69, Brighton, 1987.
24. J.W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1987.
25. J.W. Lloyd, E.A. Sonenberg, and R.W. Topor. Integrity Constraint Checking in Stratified Databases. Journal of Logic Programming, 4:331-343, 1987.
26. Y. Lou and Z. M. Ozsoyoglu. LLO: An Object-Oriented Deductive Language with Methods and Methods Inheritance. In Proc. of the Int. Conf. on Management of Data, pages 198-207, 1991.
27. The Object Database Standard: ODGM-93. Edited by R.G.G. Cattell, Morgan-Kauffman, 1996.
28. H. Martin, M. Adiba, and B. Defude. Consistency Checking in Object-oriented Databases: a Behavioral Approach. In Information and Knowledge Management, Lecture Notes in Computer SCience n. 752, selected papers from CIKM'92, Baltimore, Maryland, pages 53-68, 1992.
29. J.M. Nicolas. Logic for Improving Integrity Checking in Relational Databases. Acta Informatica, 18(3): 227-253, 1982.
30. D. Plexousakis and J. Mylopoulos. Accomodating Integrity Constraints During Database Design. In Proc. of the Fifth Int. Conf. on Extending Database Technology, Volume 1057 of Lecture Notes in Computer Science, pages 497-513, Avigno, France, March 1996.
31. K.A. Ross, D. Srivastava, P.J. Stuckey, and S. Sudarshan. Foundations of Aggregation Constraints. In Proc. of the Second Int. Workshop on Principles and Practive of Constraint Programming, Volume n. 874 of Lecture Notes in Computer Science, pages 193-204, May 1994.
32. S.D. Urban and L.M.L. Delcambre. Constraint Analysis: a Design Process fir Specifying Operations. IEEE Transactions on Knowledge and Data Engineering, 1991.
33. S.D. Urban, A.P. Karadimce, and R.B. Nannapaenni. The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database. In Proc. of the IEEE Int. Conf. On Data Engineering, pages 565-572, 1992.
34. J.D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1 and 2. Computer Science Press, 1989.