An Efficient Method for Checking Object-Oriented Database Schema Correctness

ACM Transactions on Database Systems

Volumn 23, Issue 3, 1998, Pages 333-369

  Formica, A ^a   Groger, H D ^b   Missikoff, M ^a  

^a CNR   (Italy)

^b SZÉCHENYI ISTVÁN UNIVERSITY   (Hungary)

Author keywords

D.3.3 Programming Languages : Language Constructs and Features data types and structures; F.3.1 Logics and Meanings of Programs : Specifying and Verifying and Reasoning about Programs mechanical verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; GRAPH THEORY; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; CODES (SYMBOLS); COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES; POLYNOMIALS;

OBJECT-ORIENTED DATABASES (ODB); OBJECT-ORIENTED SYSTEMS; OBJECT ORIENTED DATABASES (ODB);

DATABASE SYSTEMS;

EID: 0032153868     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/293910.293152     Document Type: Article

References (35)

1. ABADI, M. AND CARDELLI, L. 1996. A Theory of Objects. Springer-Verlag, New York.
2. AGRAWAL, R. AND GEHANI, N. H. 1989. ODE (object database and environment): The language and the data model. In Proceedings of ACM-SIGMOD 1989, International Conference on the Management of Data (Portland, OR, May-June), 36-45.
3. AIT-KACI, H. AND PODELSKI, A. 1993. Towards a meaning of life. J. Logic Program. 16, 195-234.
4. ALBANO, A., CARDELLI, L., AND ORSINI, R. 1985. Galileo: A strongly typed, interactive conceptual language. ACM Trans. Database Syst. 10 (June), 230-260.
5. ALBANO, A., GHELLI, G., AND ORSINI, R. 1995. A programming language for object databases. J. Very Large Data Bases 4, 3, 403-444.
6. AMADIO, R. M. AND CARDELLI, L. 1993. Subtyping recursive types. ACM Trans. Program. Lang. Syst. 15, 4, 575-631.
7. ANDREWS, T. AND HARRIS, C. 1987. Combining language and database advances in an object-oriented development environment. In Proceedings of the International Conference on Object-Oriented Programming Systems, Languages, Applications (OOPSLA'87) (Orlando, FL, Oct.), 430-440.
8. BALSTERS, H., DE BY, R. A., AND DE VREEZE, C. C. 1992. The TM manual. Tech. Rep. INF92-81, University of Twente, Enschede.
9. BALSTERS, H. AND FOKKINGA, M. M. 1991. Subtyping can have a simple semantics. Theor. Comput. Sci. 87, (Sept.), 81-96.
10. BANERJEE, J., CHOU, H., GARZA, J. F., KIM, W., WOELK, D., BALLOU, N., AND KIM, H. J. 1990. Data model issues for object-oriented applications. In Readings in Object-Oriented Database Systems, S. B. Zdonik and D. Maier, Eds., Morgan-Kaufmann, San Mateo, CA, 197-208.
11. BEERI, C. 1990. A formal approach to object-oriented databases. Data Knowl. Eng. 5, 353-382.
12. BORGIDA, A. 1988. Modeling class hierarchies with contradictions. In Proceedings of ACM SIGMOD Conference (Chicago, IL, June 1-3), 434-443.
13. BRETL, R., MAIER, D., OTIS, A., PENNEY, D. J., SCHUCHARDT, B., STEIN, J., WILLIAMS, E. H., AND WILLIAMS, M. 1989. The GemStone data management system. In Object-Oriented Concepts, Applications, and Databases, W. Kim and F. Lochovsky, Eds., Addison-Wesley, Reading, MA.
14. CARDELLI, L. 1988. A semantics of multiple inheritance. Inf. Comput. 76, 138-164; (Preliminary version in LNCS 173, Springer-Verlag, 1984).
15. CARDELLI, L. AND WEGNER, P. 1985. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17, 4 (Dec.), 471-522.
16. CARPENTER, B. 1992. The Logic of Typed Feature Structures. Cambridge University Press, New York, NY.
17. CATTEL, R. G. G. AND BARRY, D., EDS. 1997. The Object Database Standard: ODMG-97, Release 2.0. Morgan-Kaufmann, San Francisco, CA.
18. COOK, W. AND PALSBERG, J. 1989. A denotational semantics of inheritance and its correctness. In Proceedings of the International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA'89) (Oct.) 433-443.
19. COOK, W. R., HILL, W. L., AND CANNING, P. S. 1990. Inheritance is not subtyping. In Proceedings of the ACM International Conference on Principles of Programming Languages (POPL'90) (San Francisco, CA, Jan. 1990), 125-135.
20. FORMICA, A. AND MISSIKOFF, M. 1994. Correctness of ISA hierarchies in object-oriented database schemas. In Proceedings of the Fourth International Conference on Extending Database Technology (EDBT 94) (Cambridge), LNCS 779, Springer-Verlag, Berlin, 231-244.
21. FORMICA, A., GROGER, H. D., AND MISSIKOFF, M. 1997. Object-oriented database schema analysis and inheritance processing: A graph-theoretic approach. Data Knowl. Eng. (DKE) J. 24, 2, 157-181.
22. HOROWITZ, E. AND SAHNI, S. 1983. Fundamentals of Computer Algorithms. Computer Science Press, New York, NY.
23. KHOSHAFIAN, S. AND ABNOUS, R. 1990. Object-Orientation - Concepts, Languages, Databases, User Interfaces. Wiley, New York, NY.
24. KHOSHAFIAN, S. N. AND COPELAND, G. P. 1986. Object identity. In Proceedings of the International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA'86) (Portland, OR, Nov.).
25. KIFER, M. AND LAUSEN, G. 1989. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of the ACM SIGMOD Conference, International Conference on Management of Data (Portland, OR, May), 134-146.
26. KIM, W. 1990a. Introduction to Object-Oriented Databases. Computer Systems, The MIT Press, Cambridge, MA.
27. KIM, W. 1990b. Object-oriented databases: Definition and research directions. IEEE Trans. Knowl. Data Eng. 2, 3 (Sept.).
28. LECLUSE, C. AND RICHARD, P. 1992. The O2 database programming language. In Building an Object-Oriented Database System - The Story of O2, F. Bancilhon, C. Delobel, and P. Kanellakis, Eds., Morgan-Kaufmann, San Mateo, CA.
29. MATTHES, F. AND SCHMIDT, J. W. 1993. System construction in the Tycoon environment: Architectures, interfaces and gateways. In Proceedings of the Euro-Arch'93 Congress, Springer-Verlag, Berlin, 301-317.
30. MISSIKOFF, M. AND TOIATI, M. 1994a. MOSAICO - A system for conceptual modeling and rapid prototyping of object-oriented database applications. In Proceedings of the ACM SIGMOD Conference (Minneapolis, MN, May 24-27) 508.
31. MISSIKOFF, M. AND TOIATI, M. 1994b. Safe rapid prototyping of object-oriented database applications. In Proceedings of the IEEE International Workshop on Rapid System Prototyping (Grenoble, June), 168-176.
32. NEBEL, B. 1991. Terminological cycles: Semantics and computational properties. In Principles of Semantic Networks, J. Sowa, Ed., Morgan-Kaufmann, San Mateo, CA.
33. VERSANT 1991. Versant Language Interfaces Manual, Version 1.6. Versant Object Technology, Menlo Park, CA.
34. YASUKAWA, H., TSUDA, H., AND YOKOTA, K. 1992. Objects, properties, and modules in QUIXOTE. In Proceedings of the International Conference on Fifth Generation Computer Systems (Tokyo, June 1-5), 257-268.
35. ZICARI, R. 1992. A framework for schema updates in an object-oriented database system. In Building an Object-Oriented Database System - The Story of O2, F. Bancilhon, C. Delobel, and P. Kanellakis, Eds., Morgan-Kaufmann, San Mateo, CA, 146-182.