Semantic database modeling: survey, applications, and research issues

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.

[1]  A Unified Model and Methodology for Conceptual Database Design , 1982, On Conceptual Modelling.

[2]  Eugene Wong,et al.  Multibase: integrating heterogeneous distributed database systems , 1981, AFIPS '81.

[3]  Richard Hull,et al.  A Survey of Theoretical Research on Typed Complex Database Objects , 1988, XP7.52 Workshop on Database Theory.

[4]  Ben Shneiderman,et al.  Software psychology: Human factors in computer and information systems (Winthrop computer systems series) , 1980 .

[5]  Michael L. Brodie On the Development of Data Models , 1982, On Conceptual Modelling.

[6]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[7]  Giampio Bracchi,et al.  Binary Logical Associations in Data Modelling , 1976, IFIP Working Conference on Modelling in Data Base Management Systems.

[8]  David W. Shipman The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[9]  Claude Deheneffe,et al.  Relational Model for a Data Base , 1974, IFIP Congress.

[10]  Alexander Borgida,et al.  Features Of Languages for the Development of Information Systems at the conceptual Level , 1985, IEEE Software.

[11]  Terry A. Landers,et al.  An Overview of MULTIBASE , 1986, DDB.

[12]  Lois M. L. Delcambre,et al.  An analysis of the structural, dynamic, and temporal aspects of semantic data models , 1986, 1986 IEEE Second International Conference on Data Engineering.

[13]  Moshé M. Zloof Query-by-Example: A Data Base Language , 1977, IBM Syst. J..

[14]  Gabriel M. Kuper,et al.  On the expressive power of the logical data model: prelimiary report , 1985, SIGMOD '85.

[15]  Paolo Atzeni,et al.  Formal Properties of Net-Based Knowledge Representation Schemes , 1986, ICDE.

[16]  Richard Hull,et al.  The Format Model: A Theory of database Organization , 1984, J. ACM.

[17]  J TeoreyToby,et al.  A logical design methodology for relational databases using the extended entity-relationship model , 1986 .

[18]  Michael Hammer,et al.  DIAL: a programming language for data intensive applications , 1980, SIGMOD '80.

[19]  Roger King,et al.  The Semantic Database Constructor , 1985, IEEE Transactions on Software Engineering.

[20]  Carlo Zaniolo,et al.  Analysis and design of relational schemata for database systems. , 1976 .

[21]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[22]  William Kent,et al.  Data and Reality , 1978 .

[23]  Serge Abiteboul,et al.  Update Propagation in the IFO Database Model , 1985, FODO.

[24]  C. J. Date An Introduction to Database Systems , 1975 .

[25]  Dzenan Ridjanovic,et al.  On the Design and Specification of Database Transactions , 1982, On Conceptual Modelling.

[26]  Colm Ó'Dúnlaing,et al.  Generic transformation of data structures , 1982, FOCS 1982.

[27]  Arie Shoshani,et al.  Statistical Databases: Characteristics, Problems, and some Solutions , 1982, VLDB.

[28]  Harry K. T. Wong,et al.  GUIDE: Graphical User Interface for Database Exploration , 1982, VLDB.

[29]  David J. DeWitt,et al.  Object and File Management in the EXODUS Extensible Database System , 1986, VLDB.

[30]  J. S. Aikins,et al.  A Representation Scheme Using Both Frames and Rules , 2022 .

[31]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[32]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[33]  Joan Peckham,et al.  Semantic data models , 1988, CSUR.

[34]  Dennis Tsichritzis,et al.  The ANSI/X3/SPARC DBMS Framework Report of the Study Group on Dabatase Management Systems , 1978, Inf. Syst..

[35]  Ronald Fagin,et al.  Multivalued dependencies and a new normal form for relational databases , 1977, TODS.

[36]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[37]  Nick Roussopoulos,et al.  An Adaptable Methodology for Database Design , 1984, Computer.

[38]  Peter Buneman,et al.  An implementation technique for database query languages , 1982, TODS.

[39]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1976, Software Pioneers.

[40]  Serge Abiteboul,et al.  Non First Normal Form Relations: An Algebra Allowing Data Restructuring , 1986, J. Comput. Syst. Sci..

[41]  Roger King,et al.  Object-oriented database support for software environments , 1987, SIGMOD '87.

[42]  Chee-Keng Yap,et al.  Generic transformation of data structures , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[43]  Jean-Luc Hainaut,et al.  An Extensible Semantic Model of Data Base and Its Data language , 1974, IFIP Congress.

[44]  Stanley Y. W. Su,et al.  SAM*: A Semantic Association Model for Corporate and Scientific/Statistical Databases , 1983, Inf. Sci..

[45]  Setrag Khoshafian,et al.  Object identity , 1986, OOPSLA 1986.

[46]  Daniel G. Bobrow,et al.  CommonLoops: merging Lisp and object-oriented programming , 1986, OOPLSA '86.

[47]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[48]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

[49]  Umeshwar Dayal,et al.  PDM: An Object-Oriented Data Model , 1986, OODBS.

[50]  James A. Larson,et al.  Integrating User Views in Database Design , 1986, Computer.

[51]  Ramez Elmasri,et al.  The Structural Model for Database Design , 1979, ER.

[52]  Naphtali Rishe On representation of medical knowledge by a binary data model , 1987 .

[53]  Larry Kerschberg,et al.  A Taxonomy of Data Models , 1976, VLDB.

[54]  Victor Vianu,et al.  Mapping a semantic database model to the relational model , 1987, SIGMOD '87.

[55]  Henk Sol,et al.  Information Systems Design Methodologies; A Comparative Review: Proceedings of the IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies, Noordwijkerhout, the Netherlands, 10-14 May 1982 , 1982 .

[56]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[57]  Larry Kerschberg,et al.  Data architecture and data model considerations , 1899, AFIPS '77.

[58]  David A. Moon,et al.  Object-oriented programming with flavors , 1986, OOPLSA '86.

[59]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[60]  J. D. Uiiman,et al.  Principles of Database Systems , 2004, PODS 2004.

[61]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

[62]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[63]  Daniel G. Bobrow,et al.  CommonLoops: Merging Lisp and Object-Oriented Programming , 1986, OOPSLA.

[64]  Carlo Zaniolo,et al.  An implementation of GEM: supporting a semantic data model on a relational back-end. , 1984, SIGMOD '84.

[65]  Richard Hull,et al.  The format model: a theory of database organization , 1982, JACM.

[66]  Don Batory,et al.  Genesis: A Reconfigurable Database Management System , 1986 .

[67]  Setrag Khoshafian,et al.  Object identity , 1986, OOPLSA '86.

[68]  Stanley B. Zdonik,et al.  ISIS: interface for a semantic information system , 1985, SIGMOD Conference.

[69]  Anthony I. Wasserman The data management facilities of PLAIN , 1979, SIGMOD '79.

[70]  Roger King,et al.  A database design methodology and tool for information systems , 1985, TOIS.

[71]  Roger King,et al.  Semantic Data Models , 1985, Principles of Database Design.

[72]  Jeffrey D. Ullman,et al.  Database theory—past and future , 1987, PODS.

[73]  David J. Israel,et al.  Some Remarks on the Semantics of Representation Languages , 1982, On Conceptual Modelling.

[74]  Maurizio Lenzerini,et al.  Covering and disjointness constraints in type networks , 1987, 1987 IEEE Third International Conference on Data Engineering.

[75]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[76]  Irving L. Traiger,et al.  Views, authorization, and locking in a relational data base system , 1975, AFIPS '75.

[77]  Hector J. Levesque,et al.  An overview of Knowledge Representation , 1983, On Conceptual Modelling.

[78]  Serge Abiteboul,et al.  Restructuring of Complex Objects and Office Forms , 1986, ICDT.

[79]  Stephen Fox,et al.  Storage and Access Structures to Support a Semantic Data Model , 1982, VLDB.

[80]  Carlo Zaniolo,et al.  The database language GEM , 1983, SIGMOD '83.

[81]  Craig Harris,et al.  Combining language and database advances in an object-oriented development environment , 1987, OOPSLA 1987.

[82]  Serge Abiteboul,et al.  IFO: A Formal Semantic Database Model , 1987, ACM Trans. Database Syst..

[83]  Gabriel M. Kuper,et al.  The logical data model: a new approach to database logic , 1986 .

[84]  Stanley Modeling lntegrated Manufacturing Data with SAM , 1986, Computer.

[85]  Craig Harris,et al.  Combining language and database advances in an object-oriented development environment , 1987, OOPSLA '87.

[86]  Michael Stonebraker,et al.  The design of POSTGRES , 1986, SIGMOD '86.

[87]  Robert Brown,et al.  LAURA: A Formal Data Model and her Logical Design Methodology , 1983, VLDB.

[88]  Sol J. Greenspan,et al.  Knowledge representation in the software development process a case study in h winter (ed) , 1986 .

[89]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[90]  James D. Foley,et al.  Fundamentals of interactive computer graphics , 1982 .

[91]  Roger King,et al.  CACTIS: A Database System for Specifying Functinonally-Defined Data , 1986, OODBS.

[92]  R. G. G. Cattell,et al.  Entity-Relationship Database User Interfaces , 1987, ER.

[93]  共立出版株式会社 コンピュータ・サイエンス : ACM computing surveys , 1978 .

[94]  Don S. Batory,et al.  GENESIS: An Extensible Database Management System , 1988, IEEE Trans. Software Eng..

[95]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[96]  Edgar H. Sibley,et al.  Data architecture and data model considerations , 1899 .

[97]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[98]  Dennis Fogg,et al.  Lessons from a "living in a database" graphical query interface , 1984, SIGMOD '84.

[99]  Victor Vianu Dynamic functional dependencies and database aging , 1987, JACM.

[100]  J. E. Sammet,et al.  Software psychology: human factors in computer and information systems , 1983, SGCH.

[101]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[102]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[103]  Won Kim,et al.  Modeling concepts for VLSI CAD objects , 1985, TODS.

[104]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[105]  David A. Moon Object-oriented programming with flavors , 1986, OOPSLA 1986.

[106]  Lawrence A. Rowe,et al.  Data abstraction, views and updates in RIGEL , 1979, SIGMOD '79.

[107]  John Mylopoulos,et al.  An overview of Knowledge Representation , 1983, On Conceptual Modelling.

[108]  Stephen Fox,et al.  Supporting a Semantic Data Model in a Distributed Database System , 1983, VLDB.

[109]  Peter Buneman,et al.  Types and persistence in database programming languages , 1987, CSUR.

[110]  Michael E. Senko,et al.  Information Systems Records, Relations, Sets, Entities, and Things , 1975, Inf. Syst..

[111]  Y VardiMoshe,et al.  On the expressive power of the logical data model , 1985 .

[112]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPLSA '86.

[113]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[114]  William Kent,et al.  Limitations of record-based information models , 1979, TODS.

[115]  Robert M. MacGregor ARIEL - A Semantic Front-End to Relational DBMSs , 1985, VLDB.

[116]  Gabriel M. Kuper,et al.  A new approach to database logic , 1984, PODS.

[117]  Michael Stonebraker,et al.  The design and implementation of INGRES , 1976, TODS.

[118]  Akifumi Makinouchi,et al.  A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model , 1977, VLDB.

[119]  Stanley Y. W. Su,et al.  A Semantic Association Model for Conceptual Design , 1979, International Conference on Conceptual Modeling.

[120]  Umeshwar Dayal,et al.  View Definition and Generalization for Database Integration in a Multidatabase System , 1984, IEEE Transactions on Software Engineering.

[121]  T. J. Teorey,et al.  A logical design methodology for relational databases using the extended entity-relationship model , 1986, CSUR.

[122]  Daniel G. Bobrow,et al.  Knowledge Programming in Loops: Report on an Experimental Course , 1983, AI Mag..

[123]  Herman Lam,et al.  An Object-oriented Semantic Association Model, AI in Industrial Engineering and Manufacturing: Theoretical Issues and Applications(OSAM*) , 1988 .