IFO: a formal semantic database model

A new, formally defined database model is introduced which combines fundamental principles of "semantic" database modeling in a coherent fashion. The model provides mechanisms for representing structured objects and functional and ISA relationships between them. It is anticipated that the model can serve as the foundation for a theoretical investigation into a wide variety of fundamental issues concerning the logical representation of data in databases. Preliminary applications of the model include an efficient algorithm for computing the set of object types which can occur in a given entity set, even in the presence of a complex set of ISA relationships. The model can also be applied to precisely articulate "good" design policies.

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

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

[3]  Dennis McLeod,et al.  Abstraction in databases , 1980, Workshop on Data Abstraction, Databases and Conceptual Modelling.

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

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

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

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

[8]  Ronald Fagin,et al.  Inclusion dependencies and their interaction with functional dependencies , 1982, PODS.

[9]  E. F. Codd,et al.  A data base sublanguage founded on the relational calculus , 1971, SIGFIDET '71.

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

[11]  Peter Buneman,et al.  FQL: a functional query language , 1979, SIGMOD '79.

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

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

[14]  Paolo Atzeni,et al.  Formal properties of net-based knowledge representation schemes , 1986, 1986 IEEE Second International Conference on Data Engineering.

[15]  S. B. Yao,et al.  View Modeling and Integration Using the Functional Data Model , 1982, IEEE Transactions on Software Engineering.

[16]  Daniel Bryce,et al.  SNAP: A graphics-based schema manager , 1986, 1986 IEEE Second International Conference on Data Engineering.

[17]  Peter Buneman,et al.  Constructing superviews , 1981, SIGMOD '81.

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

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

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

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

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

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

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

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

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

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