|
ABSTRACT
Most common database management systems represent information in a simple record-based format. Semantic modeling provides richer data structuring capabilities for database applications. In particular, research in this area has articulated a number of constructs that provide mechanisms for representing structurally complex interrelations among data typically arising in commercial applications. In general terms, semantic modeling complements work on knowledge representation (in artificial intelligence) and on the new generation of database models based on the object-oriented paradigm of programming languages.
This paper presents an in-depth discussion of semantic data modeling. It reviews the philosophical motivations of semantic models, including the need for high-level modeling abstractions and the reduction of semantic overloading of data type constructors. It then provides a tutorial introduction to the primary components of semantic models, which are the explicit representation of objects, attributes of and relationships among objects, type constructors for building complex types, ISA relationships, and derived schema components. Next, a survey of the prominent semantic models in the literature is presented. Further, since a broad area of research has developed around semantic modeling, a number of related topics based on these models are discussed, including data languages, graphical interfaces, theoretical investigations, and physical implementation strategies.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
AbB87
|
ABITEBOUL, S., AND BEERg, C. 1987. On the power of languages for the manipulation of complex objects (extended abstract). In Proceedings o{ International Workshop on Nested Relations and Complex Objects. (Darmstadt, Germany, Apr.). INRIA, Roquencourt, France.
|
| |
AbB84
|
|
| |
AbH85
|
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.
|
| |
AbH86
|
|
 |
AbH87
|
|
| |
Abr74
|
ABRiAL, J. R. 1974. Data semantics. Data Base Management. North-Holland, Amsterdam, pp. 1-59.
|
| |
AfM84
|
AFSARMANESH, H., AND MCLEOO, 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.
|
| |
Aik85
|
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.
|
 |
ACO85
|
|
| |
AOO85
|
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.
|
 |
AnH87
|
Timothy Andrews , Craig Harris, Combining language and database advances in an object-oriented development environment, Conference proceedings on Object-oriented programming systems, languages and applications, p.430-440, October 04-08, 1987, Orlando, Florida, United States
|
 |
AtB87
|
|
| |
AtK83
|
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.
|
| |
AtP86
|
|
 |
Bac78
|
|
 |
BLN86
|
|
 |
BaK85
|
|
| |
BBG
|
D. S. Batory , J. R. Barnett , J. F. Garza , K. P. Smith , K. Tsukuda , C. Twichell , T. E. Wise, GENESIS: An Extensible Database Management System, IEEE Transactions on Software Engineering, v.14 n.11, p.1711-1730, November 1988
[doi> 10.1109/32.9057]
|
 |
BKK86
|
Daniel G. Bobrow , Kenneth Kahn , Gregor Kiczales , Larry Masinter , Mark Stefik , Frank Zdybel, CommonLoops: merging Lisp and object-oriented programming, Conference proceedings on Object-oriented programming systems, languages and applications, p.17-29, September 29-October 02, 1986, Portland, Oregon, United States
|
| |
Bor85
|
BORGIOA, A. 1985. Features of languages for the development of information systems at the conceptual level. IEEE Software 2, 1 (Jan.), 63-72.
|
| |
BPP76
|
BRACCHI, G., PAOLINI, P., AND PELA(~ATTI, G. 1976. Binary logical associations in data modelling. In Modelling in Data Base Management Systems. North Holland, Amsterdam, pp. 125-148.
|
| |
BrS85
|
BRACHMAN, R. J., ANO SCHMOLZE, J. G. 1985. An overview of the KL-ONE knowledge representation system. Cognitive Sct 9 (1985), 171-216.
|
| |
Bro84
|
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.
|
| |
BrR84
|
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.
|
| |
BMS84
|
BRODIE, M. L., MYLOPOULOS, J., AND SCHMiDT, J. W. Eds. 1984. On Conceptual ModeUing. Springer-Verlag, New York.
|
| |
BrP83
|
|
 |
BFN82
|
|
| |
CDR86
|
|
| |
CGT75
|
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.
|
| |
CDF83
|
|
| |
CDF82
|
Arvola Chan , Sy Danberg , Stephen Fox , Wen-Te K. Lin , Anil Nori , Daniel R. Ries, Storage and Access Structures to Support a Semantic Data Model, Proceedings of the 8th International Conference on Very Large Data Bases, p.122-130, September 08-10, 1982
|
 |
Che76
|
|
 |
Cod79
|
|
 |
CoP84
|
|
| |
DDG85
|
DARDAILLER, P., DELOBEL, C., AND GIRAU- DIN, J. P. 1985. Modelisation progressive d'une base de donnees. Tech. Rep. 493, Laboratoire de Genie Informatique.
|
| |
Dat81
|
|
| |
DaH84
|
DAYAL, U., AND HWANG, H. Y. 1984. View definition and generalization for database integration in a multidatabase system. IEEE Trans. Softw. Eng. SE-IO, 6, 628-644.
|
| |
DHP74
|
DEHENEFFE, C., HENNEBERT, H., AND PAULUS, W. 1974. Relational model for a data base. In Proceedings of the IFIP Congress, pp. 1022-1025.
|
| |
DKL85
|
DERRET'r, N., KENT, W., AND LYNGBAEK, P. 1985. Some aspects of operations in an object-oriented database, iEEE Database Eng. Bull. 8, 4 (Dec.).
|
 |
Fag77
|
|
| |
FKM85
|
FARMER, D. B., KING, R., AND MYERS, D. A. 1985. The semantic database constructor. IEEE Tran So{tw. Eng. SE-11, 7, 583-591.
|
 |
FiK85
|
|
| |
Fin79
|
FINDLER, N., Ed. 1979. Associative Networks. Academic Press, New York.
|
| |
FiT83
|
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.
|
 |
Fog84
|
|
| |
FoD82
|
|
| |
GoR83
|
|
 |
GGK85
|
Kenneth J. Goldman , Sally A. Goldman , Paris C. Kanellakis , Stanley B. Zdonik, ISIS: interface for a semantic information system, Proceedings of the 1985 ACM SIGMOD international conference on Management of data, p.328-342, May 1985, Austin, Texas, United States
|
 |
Gut77
|
|
| |
HaL74
|
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.
|
 |
HaB80
|
|
 |
HaM81
|
|
| |
HeK81
|
HECHT, M. S., AND KERSCHBERG, L. 1981. Update semantics for the functional data model. Tech. Rep., Bell Laboratories, Holmdel, N.J.
|
| |
HuK86
|
|
 |
HuK87
|
|
| |
Hul87
|
|
 |
HuY84
|
|
| |
IsB84
|
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.
|
 |
JaS82
|
|
| |
KeC83
|
KEHLER, T. P., AND CLEMENSON, G. D. 1983. An application development system for expert systems. Syst. So{tw. 3, i (Jan.), 212-223.
|
| |
Ken78
|
KENT, W. 1978. Data and Reality. North- Holland, Amsterdam.
|
 |
Ken79
|
|
| |
KeP76
|
KERSCHBERO, 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.
|
| |
KKT76
|
|
 |
KhC86
|
Setrag N. Khoshafian , George P. Copeland, Object identity, Conference proceedings on Object-oriented programming systems, languages and applications, p.406-416, September 29-October 02, 1986, Portland, Oregon, United States
|
| |
Kin84
|
KINO, R. 1984. Sembase: A semantic DBMS. In Proceedings o{ the First International Workshop on Expert Database Systems (Oct.). Univ. of Southern Carolina, Columbia, S.C., pp. 151-171.
|
| |
KiM82
|
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.
|
| |
KiM84
|
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.
|
 |
KiM85a
|
|
| |
KiM85b
|
KING, R., ANO McLEoo, D. 1985b. Semantic database models, in Database Design. Springer-Verlag, New York, pp. 115-150.
|
| |
Kup85
|
|
| |
KuV84
|
KUPER, G. M., AND VARDI, M. Y. 1984. The logical data model. In Proceedings of A CM SIGACT News-SIGMOD Symposium on Principles of Database Systems. ACM, New York, pp. 86-96.
|
 |
KuV85
|
|
| |
LaR82
|
LANOERS, T. A., ANO ROSENBERG, R. L. 1982. An overview of multibase. Distributed Databases. North-Holland, Amsterdam.
|
| |
Len87
|
|
 |
LSA77
|
|
| |
LyK86
|
|
 |
LyV87
|
|
| |
Mac85
|
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.
|
 |
MSO86
|
David Maier , Jacob Stein , Allen Otis , Alan Purdy, Development of an object-oriented DBMS, Conference proceedings on Object-oriented programming systems, languages and applications, p.472-482, September 29-October 02, 1986, Portland, Oregon, United States
|
| |
Mak77
|
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.
|
| |
MaD86
|
|
| |
MaP86
|
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.
|
| |
Min84
|
MINSKY, M. L. 1984. A framework for representing knowledge. In The Psychology o{ Computer Vision, P. H. Winston, Ed. McGraw-Hill, New York, pp. 211-277.
|
 |
Moo86
|
|
 |
Myl80
|
|
 |
MBW80
|
|
| |
MBG86
|
MYLOPOULOS, J., BORGIDA, A., GREEN- SPAN, S., MEGHINI, C., AND NIXON, B. 1986. Knowledge representation in the software development process: A case study. Tech. Rep., Univ. of Toronto, Toronto, Canada.
|
| |
NEL86
|
NAVA?HE, S., ELMASRI, R., AND LARSON, J. 1986. Integrating user views in database design. IEEE Computer 19, 1, 50-62.
|
| |
Nik84
|
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.
|
| |
O'Y82
|
O'DUNLAING, C., AND YAP, C. K. 1982. Generic transformation of data structures, in Proceedings o{ the 23rd Annual IEEE Symposium on Foundations o{ Computer Science. IEEE, New York, pp. 186-195.
|
| |
Ris85
|
RISHE, N. 1985. Semantic modeling of data using binary schemata. Tech. Rep. TRCS85-06, Univ. of California, Santa Barbara, Calif.
|
| |
Ris86
|
RiSHE, N. 1986. On representation of medical knowledge by a binary data model. In Proceedings of the 5th International Conference on Mathematical ModeUing,X. J. R. Avula, G. Leitman, C. D. Mote, Jr., and E. Y. Rodin, Eds. Pergamon Press, Elmsford, N.Y.
|
| |
RoC87
|
ROGERS, T. R., AND CATTELL, g. G. G. 1987. Entity-relationship database user interfaces. Tech. Rep. Sun Microsystems, Mountain View, Calif.
|
| |
RoY84
|
ROUSSOPOULOS, N., AND YEH, R. T. 1984. An adaptable methodology for database design. IEEE Computer (May), 64-80.
|
 |
RoS79
|
|
| |
Sch80
|
|
| |
Sen75
|
SENKO, M. E. 1975. Information systems: Records, relations, set, entities, and things. In{. Syst. 1, 1, 3-13.
|
 |
Shi81
|
|
| |
Sho82
|
|
| |
SiK77
|
SIBLEY, E. H., AND KERSCHBERG, L. 1977. Data architecture and data model considerations. In Proceedings o{ the National Computer Con{erence. AFIPS Press, Reston, Va., pp. 85-96.
|
 |
SmS77
|
|
| |
SFL81
|
SMITH, J. M., FOx, S., AND LANDERS, T. 1981. Reference manual for ADAPLEX. Tech. Rep., Computer Corporation of America.
|
| |
SBD81
|
John Miles Smith , Philip A Bernstein , Umeshwar Dayal , Nathan Goodman , Terry Landers, Multibase—integrating heterogeneous distributed database systems, on AFIPS Conference Proceedings; vol. 55 1986 National Computer Conference, p.335-347, June 1986, Las Vegas, Nevada, United States
|
| |
SBM83
|
STEFIK, M., BOBROW, D. G., MIq~AL, S., AND CONWA~, L. 1983. Knowledge programmini in LOOPS: Report on an experimental course. Arti{. InteU. 4, 3, 3-14.
|
 |
StR86
|
|
 |
SWK76
|
|
| |
Su83
|
Su, S. Y. W. 1983. SAM*: A semantic association model for corporate and scientific statistical databases. Inf. Sci. 29, 151-199.
|
| |
Su86
|
Su, S. Y. W. 1986. Modeling integrated manufacturing data with SAM*. IEEE Computer Magazine (Jan.), 34-49.
|
| |
Su80
|
|
| |
SK88
|
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.
|
 |
TYF86
|
|
| |
TsK77
|
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.
|
| |
TsL82
|
|
 |
TsZ84
|
|
| |
Ull82
|
|
 |
Ull87
|
|
| |
UrD86
|
|
| |
VeB82
|
VERHEIJEN, G., AND BEKKUM, g. 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.
|
 |
Via87
|
|
 |
Was79
|
|
| |
WiE80
|
|
| |
WoK82
|
|
| |
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.
|
|
| |
Zlo77
|
ZLOOF, M. 1977. Query-by-example: A data base language. IBM Syst. J. 16, 324-343.
|
CITED BY 181
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Michael Halper , James Geller , Yehoshua Perl, Value propagation in object-oriented database part hierarchies, Proceedings of the second international conference on Information and knowledge management, p.606-614, November 01-05, 1993, Washington, D.C., United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R. Hull , J. Su, Untyped sets, invention, and computable queries, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.347-359, March 1989, Philadelphia, Pennsylvania, United States
|
|
|
|
|
|
|
|
|
Yong Zhang , Vijay V. Raghavan , Jitender S. Deogun, An object-oriented modeling of the history of optimal retrievals, Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval, p.241-250, October 13-16, 1991, Chicago, Illinois, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jeff Sutherland , Matthew Pope , Ken Rugg, The Hybrid Object-Relational Architecture (HORA): an integration of object-oriented and relational technology, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, p.326-333, February 14-16, 1993, Indianapolis, Indiana, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Carlo Meghini , Fabrizio Sebastiani , Umberto Straccia , Costantino Thanos, A model of information retrieval based on a terminological logic, Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval, p.298-307, June 27-July 01, 1993, Pittsburgh, Pennsylvania, United States
|
|
|
|
|
|
Li-min Liu , Michael Halper , Huanying Gu , James Geller , Yehoshua Perl, Modeling a vocabulary in an object-oriented database, Proceedings of the fifth international conference on Information and knowledge management, p.179-188, November 12-16, 1996, Rockville, Maryland, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Marc Gyssens , Jan Paredaens , Dirk van Gucht, A graph-oriented object database model, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.417-424, April 02-04, 1990, Nashville, Tennessee, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B. Pernici , F. Barbic , R. Maiocchi , M. G. Fugini , J. R. Rames , C. Rolland, C-TODOS: an automatic tool for office system conceptual design, ACM Transactions on Information Systems (TOIS), v.7 n.4, p.378-419, Oct. 1989
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Richard Hull , Michael Benedikt , Vassilis Christophides , Jianwen Su, E-services: a look behind the curtain, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-14, June 09-11, 2003, San Diego, California
|
|
|
Dolores Cuadra , Carlos Nieto , Paloma Martínez , Elena Castro , Manuel Velasco, Preserving relationship cardinality constraints in relational schemata, Database integrity: challenges and solutions, Idea Group Publishing, Hershey, PA, 2002
|
|
|
Jyhjong Lin , David Chenho Kung , Pei Hsia, Towards a real-time object-oriented modeling approach, Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research, p.42, November 07-09, 1995, Toronto, Ontario, Canada
|
|
|
|
|
|
Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, Bibliography, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
REVIEW
"Martin E. Modell : Reviewer"
Semantic data models represent an attempt to describe objects and the
relationships between them from the viewpoint of their real-world
existence, rather than from the way the data used to describe these
objects are stored in the database. While
more...
|