Semantic Database Modeling: Survey, Applications, and Research Issues

ACM Computing Surveys (CSUR)

Volumn 19, Issue 3, 1987, Pages 201-260

  Hull, Richard ^a   King, Roger ^b  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^b UNIVERSITY OF COLORADO   (United States)

Author keywords

Conceptual database design; entity relationship model; functional data model; knowledge representation; semantic database model

Indexed keywords

EID: 84976826756     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/45072.45073     Document Type: Article

References (124)

1. Abiteboul, S., and Beeri, C. 1987. On the power of languages for the manipulation of complex objects (extended abstract). In Proceedings of International Workshop on Nested Relations and Complex Objects. (Darmstadt, Germany, Apr.). INRIA, Roquencourt, France.
2. Abiteboul, S., and Bidoit, N. 1986. Nonfirst normal form relations: An algebra allowing data restructuring. J. Comput. Syst. Sci. 33, 361–393.
3. Abiteboul, S., and Hull, R. 1985. Update propagation in the IFO database model. In Proceedings of the International Conference on Foundations of Data Organization. Organizing Committee of the International Conference on Foundations of Data Organization, c/o S. P. Ghosh, IBM Research, Almaden, Calif., pp. 243– 251.
4. Abiteboul, S. and Hull, R. 1986. Restructuring of complex database objects and office forms. In Proceedings of the International Conference on Database Theory (Rome, Sept.).
5. Abiteboul, S., and Hull, R. 1987. IFO: A formal semantic database model. ACM Trans. Database Syst. 12, 4 (Dec), 525–565.
6. Abrial, J. R. 1974. Data semantics. Data Base Management. North-Holland, Amsterdam, pp. 1–59.
7. Afsarmanesh, H., and McLeod, D. 1984. A framework for semantic database models. In Proceedings of the NYU Symposium on New Directions for Database Systems (New York, May 16-18). New York Univ., New York.
8. Aikens, J. 1985. A representation scheme using both frames and rules. In Rule-Based Expert Systems, B. Buchanan and E. Shortliffe, Eds. Addison-Wesley, Reading, Mass., pp. 424– 440.
9. Albano, A., Cardelli, L., and Orsini, R. 1985. Galileo: A strongly-typed, interactive conceptual language. ACM Trans. Database Syst. 10, 2 (June), 230–260.
10. Albano, A., Occhiuto, M. E., and Orsini, R. 1985. Galileo Reference Manual, VAX/UNIX Version 1.0. Tech. Rep. Dipartimento di Informatica, Univ. di Pisa, Pisa, Italy.
11. Andrews, T., and Harris, C. 1987. Combining language and database advances in an object-oriented development environment. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (Oct.), pp. 430–440.
12. Atkinson, M. P., and Buneman, O. P. 1987. Database programming languages, ACM Comput. Surv. 19, 2 (June), 105-190.
13. Atkinson, M. P., and Kulkarni, K. G. 1983. Experimenting with the functional data model. Tech. Rep. Persistent Programming Research Rep. 5, Univ. of Edinburgh, Edinburgh, Scotland.
14. Atzeni, P., and Parker, D. S. 1986. Formal properties of net-based knowledge representation schemes. In Proceedings of the 2nd IEEE International Conference on Data Engineering. IEEE, New York, pp. 700–706.
15. Backus, J. 1978. Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs. Commun. ACM 21, 8 (Aug.), 613–641.
16. Batini, C., Lenzerini, M., and Navathe, S. B. 1986. A comparative analysis of methodologies for Database schema integration. ACM Comput. Surv. 18, 4 (Dec), 323–364.
17. Batory, D. S., and Kim, W. 1985. Modeling concepts for VLSI CAD objects. ACM Trans. Database Syst. 10, 3 (Sept.), 322–346.
18. Batory, D. S., Barnett, J. R., Garza, F. F., Smith, K. P., Tsukauda, K., Twichell, B. C., and Wise, T. E. 1988. GENESIS: A reconfigurable database management system. IEEE Trans. Softw. Eng. to appear.
19. Bobrow, D., Kahn, K., Kiczales, G., Masinter, L., Stefik, M., and Zdybel, F. 1986. CommonLoops: Merging Lisp and object-oriented programming. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (Mar.). ACM, New York, pp. 17–29.
20. Borgida, A. 1985. Features of languages for the development of information systems at the conceptual level. IEEE Software 2, 1 (Jan.), 63–72.
21. Bracchi, G., Paolini, P., and Pelagatti, G. 1976. Binary logical associations in data modelling. In Modelling in Data Base Management Systems. North Holland, Amsterdam, pp. 125–148.
22. Brachman, R. J., and Schmolze, J. G. 1985. An overview of the KL-ONE knowledge representation system. Cognitive Sci. 9 (1985), 171–216.
23. Brodie, M. L. 1984. On the development of data models. In On Conceptual Modelling, M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, Eds. Springer-Verlag, New York, pp. 19–48.
24. Brodie, M. L., and Ridjanovic, D. 1984. On the design and specification of database transactions. In On Conceptual Modelling. Springer-Verlag, New York, pp. 277–306.
25. Brodie, M. L., Mylopoulos, J., and Schmidt, J. W. Eds. 1984. On Conceptual Modelling. Springer-Verlag, New York.
26. Brown, R., and Parker, D. S. 1983. LAURA: A formal data model and her logical design methodology. In Proceedings of the 9th International Conference on Very Large Data Bases. Very Large Database Endowment, Saratoga, Calif., pp. 206–218.
27. Buneman, P., Frankel, R. E., and Nikhil, R. 1982. An implementation technique for database query languages. ACM Trans. Database Syst. 7, 2 (June), 164–186.
28. Carey, M. J., DeWitt, D. J., Richardson, J. E., and Shekita, E. J. 1986. Object and file management in the EXODUS extensible database system. In Proceedings of the 12th International Conference on Very Large Databases (Aug.). Very Large Database Endowment, Saratoga, Calif., pp. 91–100.
29. Chamberlin, D. D., Gray, J. N., and Traiger, I. L. 1975. Views, authorization and locking in a relational database system. In Proceedings of AFIPS National Computer Conference, vol. 44. AFIPS Press, Reston, VA., pp. 425–430.
30. Chan, A., Dayal, U., Fox, S., and Ries, D. 1983. Supporting a semantic data model in a distributed database system. In Proceedings of the 9th International Conference on Very Large Data Bases. Very Large Database Endowment, Saratoga, Calif., pp. 354–363.
31. Chan, A., Danberg, S., Fox, S. Lin, W. T. K., Nori, A., and Ries, D. 1982. Storage and access structures to support a semantic data model. In Proceedings of the 8th International Conference on Very Large Data Bases. Very Large Database Endowment, Saratoga, Calif., pp. 122–130.
32. Chen, P. P. 1976. The entity-relationship model-Toward a unified view of data. ACM Trans. Database Syst. 1, 1 (Mar.), 9–36.
33. Codd, E. F. 1979. Extending the database relational model to capture more meaning. ACM Trans. Database Syst. 4, 4 (Dec), 397–434.
34. Cosmadakis, S. S., And Papadimitriou, C. H. 1984. Updates of relational views. J. ACM 31, 4 (Oct.), 743–760.
35. Dardailler, P., Delobel, C., and Giraudin, J. P. 1985. Modelisation progressive d’une base de donnees. Tech. Rep. 493, Laboratoire de Genie Informatique.
36. Date, C. J. 1981. An Introduction to Database Systems, vol 1. Addison-Wesley, Reading, Mass.
37. Dayal, U., and Hwang, H. Y. 1984. View definition and generalization for database integration in a multidatabase system. IEEE Trans. Softw. Eng. SE-10, 6, 628–644.
38. Deheneffe, C., Hennebert, H., and Paulus, W. 1974. Relational model for a data base. In Proceedings of the IFIP Congress, pp. 1022–1025.
39. Derrett, N., Kent, W., and Lyngbaek, P. 1985. Some aspects of operations in an object-oriented database. IEEE Database Eng. Bull. 8, 4 (Dec).
40. Fagin, R. 1977. Multivalued dependencies and a new normal form for relation databases. ACM Trans. Database Syst. 2, 3 (Sept.), 262–278.
41. Farmer, D. B., King, R., and Myers, D. A. 1985. The semantic database constructor. IEEE Tran Softw. Eng. SE-11, 7, 583–591.
42. Fikes, R., and Kehler, T. 1985. The role of frame-based representation in reasoning. Commun. ACM 28, 9 (Sept.), 904–920.
43. Findler, N., Ed. 1979. Associative Networks. Academic Press, New York.
44. Fischer, P., and Thomas, S. 1982. Operators for non-first-normal-form relations. In Proceedings of the 7th International Computer Software Applications Conference (Chicago, Nov.). IEEE, New York, pp. 464–475.
45. Fogg, D. 1984. Lesson from a “Living in a database” graphical query interface. In Proceedings of the ACM SIGMOD International Conference on the Management of Data (Boston, Mass.). ACM, New York, pp. 100–106.
46. Foley, J. D., and van Dam, A. 1982. Fundamentals of Interactive Computer Graphics. Addison-Wesley, Reading, Mass.
47. Goldberg, A., and Robson, D. 1983. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Mass.
48. Goldman, K. J., Goldman, S. A., Kanellakis, P. C., and Zdonik, S. B. 1985. ISIS: Interface for a semantic information system. In Proceedings of the ACM SIGMOD International Conference on the Management of Data. ACM, New York, pp. 328–342.
49. Guttag, J. 1977. Abstract data types and the development of data structures. Commun. ACM 20, 6 (June), 396–404.
50. Hainaut, J. L., and Lecharlier, B. 1974. An extensible semantic model of database and its data language. In Proceedings of the IFIP Congress, pp. 1026–1030.
51. Hammer, M., and Berkowitz, B. 1980. DIAL: A programming language for data intensive applications. In Proceedings of the ACM SIGMOD International Conference on the Management of Data. ACM, New York, pp. 75–92.
52. Hammer, M., and McLeod, D. 1981. Database description with SDM: A semantic database model. ACM Trans. Database Syst. 6, 3 (Sept.), 351–386.
53. Hecht, M. S., and Kerschberg, L. 1981. Update semantics for the functional data model. Tech. Rep., Bell Laboratories, Holmdel, N.J.
54. Hudson, S. E., and King, R. 1986. CACTIS: A database system for specifying functionally-defined data. In Proceedings of the Workshop on Object-Oriented Databases (Asilomar, Pacific Grove, Calif., Sept.). IEEE, New York.
55. Hudson, S. E., and King, R. 1987. Object-oriented database support for software environments. In Proceedings of the ACM SIGMOD International Conference on Management of Data (San Francisco, Calif., May). ACM, New York, pp. 491–503.
56. Hull, R. 1987. A survey of theoretical research on typed complex database objects. In Databases, J. Paredaens, Ed. Academic Press, London.
57. Hull, R., and Yap, C. K. 1984. The format model: A theory of database organization. J. ACM 31, 3 (July), 518–537.
58. Israel, D. J., and Brachman, R. J. 1984. Some remarks on the semantics of representation languages. In On Conceptual Modelling. Springer-Verlag, New York, pp. 119–146.
59. Jaeschke, B., and Schek, H. J. 1982. Remarks on the algebra of non first normal form relations. In Proceedings of the ACM Symposium on Principles of Database Systems. ACM, New York.
60. Kehler, T. P., and Clemenson, G. D. 1983. An application development system for expert systems. Syst. Softw. 3, 1 (Jan.), 212–223.
61. Kent, W. 1978. Data and Reality. North-Holland, Amsterdam.
62. Kent, W. 1979. Limitations of record-based information models. ACM Trans. Database Syst. 4, 1 (Mar.), 107–131.
63. Kerschberg, L., and Pacheco, J. E. S. 1976. A functional data base model. Tech. Rep., Pontificia Univ. Catolica do Rio de Janeiro, Rio de Janeiro, Brazil.
64. Kerschberg, L., Klug, A., and Tsi-Chritzis, D. 1976. A taxonomy of data models. In Systems for Large Data Bases. North-Holland, Amsterdam, pp. 43–64.
65. Khoshafian, S. N., and Copeland, G. P. 1986. Object identity. In Proceedings of the Conference on Object Oriented Programming Systems, Languages and Applications (Portland, Oreg., Sept.). ACM, New York, pp. 406–416.
66. King, R. 1984. Sembase: A semantic DBMS. In Proceedings of the First International Workshop on Expert Database Systems (Oct.). Univ. of Southern Carolina, Columbia, S.C., pp. 151–171.
67. King, R., and McLeod, D. 1982. The event database specification model. In Proceedings of the 2nd International Conference on Databases: Improving Usability and Responsiveness (Jerusalem, Israel), pp. 299–321.
68. King, R., and McLeod, D. 1984. A unified model and methodology for conceptual database design. In On Conceptual Modelling. Springer-Verlag, New York, pp. 313–331.
69. King, R., and McLeod, D. 1985a. A database design methodology and tool for information systems. ACM Trans. Off. Inf. Syst. 3, 1 (Jan.), 2–21.
70. King, R., and McLeod, D. 1985b. Semantic database models. In Database Design. Springer-Verlag, New York, pp. 115–150.
71. Kuper, G. M. 1985. The logical data model: A new approach to database logic. Ph.D. dissertation, Computer Science Dept., Stanford Univ.
72. Kuper, G. M., and Vardi, M. Y. 1984. The logical data model. In Proceedings of ACM SIGACT News-SIGMOD Symposium on Principles of Database Systems. ACM, New York, pp. 86–96.
73. Kuper, G. M., and Vardi, M. Y. 1985. On the expressive power of the logical data model (extended abstract). In Proceedings of the ACM SIGMOD International Conference on the Management of Data. ACM, New York.
74. Landers, T. A., and Rosenberg, R. L. 1982. An overview of multibase. Distributed Databases. North-Holland, Amsterdam.
75. Lenzerini, M. 1987. Covering and disjointness constraints in type networks. In Proceedings of the IEEE Conference on Data Engineering (Los Angeles, Calif.). IEEE, New York, pp. 386–393.
76. Liskov, B., Snyder, A., Atkinson, R., and Schaffert, C. 1977. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug.), 564–576.
77. Lyngbaek, P., and Kent, W. 1986. A data modeling methodology for the design and implementation of information In International Workshop on Object-Oriented Database Systems (Asilomar, Pacific Grove, Calif., Sept.). IEEE, New York.
78. Lyngbaek, P., and Vianu, V. 1987. Mapping a semantic database model to the relational model. In Proceedings of the ACM SIGMOD Conference on Management of Data (San Francisco, Calif., June). ACM, New York.
79. MacGregor, R. M. 1985. ARIEL—A semantic front-end to relational DBMSs In Proceedings of the 11th International Conference on Very Large Data Bases. Very Large Data Base Foundation, Saratoga, Calif., pp. 305–315.
80. Maier, D., Stein, J., Otis, A., and Purdy, A. 1986. Development of an object-oriented DBMS. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (Sept. 29-Oct. 2). ACM, New York, pp. 472–482.
81. Makinouchi, A. 1977. A consideration on normal form of not-necessarily-normalized relation in the relational data model. In Proceedings of the 3rd International Conference on Very Large Databases (Tokyo, Oct.), pp. 447–453.
82. Manola, F., and Dayal, U. 1986. PDM: An object-oriented data model. In Proceedings of the Workshop on Object-Oriented Databases (Pacific Grove, Calif., Sept. 23-26). IEEE, New York, pp. 18–25.
83. Maryanski, F., and Peckham, J. 1986. Semantic data models. Tech. Rep. CSTR 86-15, Dept. of Computer Science and Engineering, Univ. of Connecticut, Storrs, Conn.
84. Minsky, M. L. 1984. A framework for representing knowledge. In The Psychology of Computer Vision, P. H. Winston, Ed. McGraw-Hill, New York, pp. 211–277.
85. Moon, D. A. 1986. Object-oriented programming with flavors. In Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages and Applications. ACM, New York, pp. 1–8.
86. Mylopoulos, J. 1980. An overview of knowledge representation. In Workshop on Data Abstract, Databases, and Conceptual Modelling (Pingree Park, Colo.). ACM, New York, pp. 5–12.
87. Mylopoulos, J., Bernstein, P. A., and Wong, H. K. T. 1980. A language facility for designing database-intensive applications. ACM Trans Database Syst. 5, 2 (June), 185–207.
88. Mylopoulos, J., Borgida, A., Greenspan, S., Meghini, C., and Nixon, B. 1986. Knowledge representation in the software development process: A case study. Tech. Rep., Univ. of Toronto, Toronto, Canada.
89. Navathe, S., Elmasri, R., and Larson, J. 1986. Integrating user views in database design. IEEE Computer 19, 1, 50–62.
90. Nikhil, R. 1984. An incremental, strongly typed applicative programming system for databases. Ph.D. dissertation, Dept. of Computer and Information Sciences, Univ. of Pennsylvania, Philadelphia.
91. O’Dunlaing, C., and Yap, C. K. 1982. Generic transformation of data structures. in Proceedings of the 23rd Annual IEEE Symposium on Foundations of Computer Science. IEEE, New York, pp. 186–195.
92. Rishe, N. 1985. Semantic modeling of data using binary schemata. Tech. Rep. TRCS85-06, Univ. of California, Santa Barbara, Calif.
93. Rlshe, N. 1986. On representation of medical knowledge by a binary data model. In Proceedings of the 5th International Conference on Mathematical Modelling,X. J. R. Avula, G. Leitman, C. D. Mote, Jr., and E. Y. Rodin, Eds. Pergamon Press, Elmsford, N.Y.
94. Rogers, T. R., and Cattell, R. G. G. 1987. Entity-relationship database user interfaces. Tech. Rep. Sun Microsystems, Mountain View, Calif.
95. Roussopoulos, N., and Yeh, R. T. 1984. An adaptable methodology for database design. IEEE Computer (May), 64–80.
96. Rowe, L., and Schoens, K. A. 1979. Data abstractions, views, and updates in RIGEL. In Proceedings of the ACM SIGMOD International Conference on the Management of Data. ACM, New York, pp. 71–81.
97. Schneiderman, B. 1980. Software Psychology: Human Factors in Computer and Information Systems. Prentice-Hall, Englewood Cliffs, N.J.
98. Senko, M. E. 1975. Information systems: Records, relations, set, entities, and things. Inf. Syst. 1, 1, 3–13.
99. Shipman, D. 1981. The functional data model and the data language DAPLEX. ACM Trans. Database Syst. 6, 1 (Mar.), 140–173.
100. Shoshani, A. 1982. Statistical databases: Characteristics, problems, and some solutions. In Proceedings of the 8th International Conference on Very Large Data Bases (Mexico City). Very Large Data Base Endowment, Saratoga, Calif., pp. 208–222.
101. Sibley, E. H., and Kerschberg, L. 1977. Data architecture and data model considerations. In Proceedings of the National Computer Conference. AFIPS Press, Reston, Va., pp. 85–96.
102. Smith, J. M., and Smith, D. C. P. 1977. Database abstractions: Aggregation and generalization. ACM Trans. Database Syst. 2, 2 (June), 105–133.
103. Smith, J. M., Fox, S., and Landers, T. 1981. Reference manual for ADAPLEX. Tech. Rep., Computer Corporation of America.
104. Smith, J. M., Bernstein, P. A., Dayal, U., Goodman, N., Landers, T., Lin, K. W. T., and Wong, E. 1981. Multibase-Integrating heterogeneous distributed database systems. In Proceedings of AFIPS National Computer Conference. AFIPS Press, Reston, Va., pp. 487–499.
105. Stefik, M., Bobrow, D. G., Mittal, S., and Conway, L. 1983. Knowledge programming in LOOPS: Report on an experimental course. Artif. Intell. 4, 3, 3–14.
106. Stonebraker, M., and Rowe, L. A. 1986. The design of postgres. In Proceedings of International Conference on the Management of Data (May). ACM, New York, pp. 340–355.
107. Stonebraker, M. R., Wong, E., Kreps, P., and Held, G. 1976. The design and implementation of INGRES. ACM Trans. Database Syst. 1, 3 (Sept.), 189–222.
108. Su, S. Y. W. 1983. SAM*: A semantic association model for corporate and scientific statistical databases. Inf. Sci. 29, 151–199.
109. Su, S. Y. W. 1986. Modeling integrated manufacturing data with SAM*. IEEE Computer Magazine (Jan.), 34–49.
110. Su, S. Y. W., and Lo, D. H. 1980. A semantic association model for conceptual database design. In Entity-Relationship Approach to Systems Analysis and Design. North Holland, Amsterdam, pp. 147–171.
111. Su, S. Y. W., Krishnamurthy, V., and Lam, H. 1988. An object-oriented semantic association model (OSAM*). In AI in Industrial Engineering and Manufacturing: Theoretical Issues and Applications, S. Kumara and R. L. Kashyap, Eds. American Institute of Industrial Engineers, Norcross, Ga.
112. Teorey, T. J., Yang, D., and Fry, J. P. 1986. A logical design methodology for relational databases using the extended entity-relationship model. ACM Comput Surv. 18, 2 (June), 197–222.
113. Tsichritzis, D., and Klug, A. C. 1977. American National Standards Institute/X3/ SPARC DBMS Framework: Report of the Study Group on Database Management Systems. AFIPS Press, Reston, Va.
114. Tsichritzis, D. C., and Lochovsky, F. H. 1982. Data Models. Prentice-Hall, Englewood Cliffs, N.J.
115. Tsur, S., and Zaniolo, C. 1984. An implementation of GEM-Supporting a semantic data model on a relational back-end. In Proceedings of the ACM SIGMOD International Conference on the Management of Data. ACM, New York, pp. 286–295.
116. Ullman, J. D. 1982. Principles of Database Systems. 2nd ed. Computer Science Press, Rockville, MD.
117. Ullman, J. 1987. Database theory: Past and future. In Proceedings of ACM SIGACT News-SIGMOD-SIGART Principles of Database Systems. (San Diego, Calif., Mar.). ACM, New York.
118. Urban, S. D., and Delcambre, L. M. L. 1986. An analysis of the structural, dynamic, and temporal aspects of semantic data models. In Proceedings of the 2nd IEEE International Conference on Data Engineering (Feb.). IEEE, New York, pp. 382–389.
119. Verheijen, G., and Bekkum, J. V. 1982. NIAM: An information analysis method. In Information Systems Design Methodologies: A Comparative Review, T. Otte, H. Sol and A. Verrijn-Stuart, Eds. IFIP.
120. Vianu, V. 1987. Dynamic functional dependencies and database aging. J. ACM 34, 1 (Jan.), 28–59.
121. Wasserman, A. I.1979. The data management facilities of PLAIN. In Proceedings of the ACM SIGMOD International Conference on the Management of Data. ACM, New York.
122. Wiederhold, G., and El-Masri, R. 1980. Structural model for database design. In Entity-Relationship Approach to Systems Analysis and Design. North Holland, Amsterdam.
123. Wong, H. K. T. and Kou, I. 1982. GUIDE: A graphical user interface for database exploration. In Proceedings of 8th International Conference on Very Large Data Bases. Very Large Data Base Endowment, Saratoga, Calif., pp. 22–32. Zaniolo, C. 1976. Analysis and design of relational schemata for database systems. Tech. Rep. UCLA-Eng-7668, Dept. of Computer Science, Univ. of California at Los Angeles. Zaniolo, C. 1983. The database language GEM. In Proceedings of the ACM SIGMOD International Conference on the Management of Data. ACM, New York, pp. 207–217.
124. Zloof, M. 1977. Query-by-example: A data base language. IBM Syst. J. 16, 324–343.