Abstract
A new, formally defined database model is introduced that combines fundamental principles of “semantic” database modeling in a coherent fashion. Using a graph-based formalism, the IFO model provides mechanisms for representing structured objects, and functional and ISA relationships between them. A number of fundamental results concerning semantic data modeling are obtained in the context of the IFO model. Notably, the types of object structure that can arise as a result of multiple uses of ISA relationships and object construction are described. Also, a natural, formal definition of update propagation is given, and it is shown that (under certain conditions) a correct update always exists.
- 1 ABITEBOUL, S., AND BIDOIT, N. Non first normal form relations: An algebra allowing data restructuring. J. Comput. Syst. Sci. 33 (1986), 361-393. Google ScholarDigital Library
- 2 ABITEBOUL, S., AND HULL, R. IFO: A formal semantic database model. T1R-84-304, Computer Science Dept., Univ. of Southern California, Apr. 1984. A preliminary version appeared in Proceedings o/the 3rd ACM SIGAC'I'-~ICIMOD :Symposium on Principles of Database Systems (Waterloo, Ont., Apr. 2-4, 1984). ACM, New York, 1984, 119-132. Google ScholarDigital Library
- 3 ABITEBOUL, S., AND HULL, R. Restructuring hierarchical database objects. Theor. Comput. Sci. (to app~ztr). Google ScholarDigital Library
- 4 ABRIAL, J.R. Data semantics. In Data Base Management, North-Holland, Amsterdam, 1974, 1-59.Google Scholar
- 5 ATZENI, P., AND PARKER, D.S. Formal properties of net-based knowledge representation schemes. In Proceedings of the Second IEEE International Conference on Data Engineering (Feb. 1986). IEEE, New York, 1986, 700-706. Google ScholarDigital Library
- 6 BANClLHON, F. ET AL. Verso: A relational back end data base machine. In Advanced Database Machine Architecture, D. K. Hsiao, Ed. Prentice-Hall, Englewood Cliffs, N.J., 1983.Google Scholar
- 6a BAT}NI, C. LENZERINL M., AND NAVATHE, S.B. Comparison of methodologies for database schema integration. ACM Comput. Surv. 18, 4 (Dec. 1986), 323-364. Google ScholarDigital Library
- 7 BOUZEGHOUB, M. MORSE: A functional query language built on a semantic network. SABRE Project, INRIA and Univ. of Paris VI, Rocquencourt, France, Dec. 1983.Google Scholar
- 8 BRODIE, M. L., AND RIDJANOVIC, D. On the design and specification of database transactions. In On Conceptual Modelling. Brodie, Mylopoulus, and Schmidt, Eds., Springer-Verlag, New York, 1984, 277-306.Google ScholarCross Ref
- 9 BROWN, R., AND PARKER, D.S. LAURA: A formal data model and her logical design methodology. In Proceedings of the Conference on Very Large Data Bases (1983), 206-218. Google ScholarDigital Library
- 10 BRYCE, D., AND HULL, R. SNAP: A graphics-based schema manager. In Proceedings of the 2nd IEEE International Conference on Data Engineering (Feb. 1986), IEEE, New York, 1986, 151-164. Google ScholarDigital Library
- 11 BUNEMAN, P., FRANKEL, R. E., AND NIKHIL, R. An implementation technique for database query languages. ACM Trans. Database Syst. 7, 2 (1982), 164-186. Google ScholarDigital Library
- 12 CASANOVA, M. A., FAGIN, R., AND PAPADIMITRIOU, C.H. Inclusion dependencies and their interaction with functional dependencies. J. Comput. Syst. Sci. 28, 1 (1984), 29-59.Google ScholarCross Ref
- 13 CHEN, P. P. The entity-relationship model--toward a unified view of data. ACM Trans. Database Syst. 1, 1 {1976), 9-36. Google ScholarDigital Library
- 14 CODD, E.F. A relational model of data for large shared data banks. Commun. ACM 13, 6 {1970), 377-387. Google ScholarDigital Library
- 15 CODD, E.F. Extending the database relational model to capture more meaning. ACM Trans. Database Syst. 4, 4 (1979), 397-434. Google ScholarDigital Library
- 16 DAYAL, U., AND HWANt;, H.-Y. View definition and generalization for database integration in a multidatabase system. IEEE Trans. Softw. Eng. SE-IO, 6 {1984), 628-644.Google Scholar
- 17 GOLDBERG, A., AND ROBSON, D. Smalltalk-80: The Language and its Implementation. Addison- Wesley, Reading, Mass., 1983. Google ScholarDigital Library
- 18 HAMMER, M., AND MCLEOD, D. Database description with SDM: A semantic database model. ACM Trans. Database Syst. 6, 3 (1981), 351-386. Google ScholarDigital Library
- 19 HECHT, M. S., AND KERSCHBERG, L. Update semantics for the functional data model. Bell Laboratories, Holmdel, N.J., Jan. 1981.Google Scholar
- 20 HULL, R., AND KING, R. Semantic data modeling: Survey, applications and research issues. ACM Comput. Suro. (to appear). Google ScholarDigital Library
- 21 HULL, R., AND YAP, C.K. The format model: A theory of database organization. J. ACM 31, 3 (1984), 518-537. Google ScholarDigital Library
- 22 KENT, W. Data and Reality. North-Holland, Amsterdam, 1978.Google Scholar
- 23 KENT, W. Limitations of record-based information models. A CM Trans. Database Syst. 4, 1 (1979), 107-131. Google ScholarDigital Library
- 24 KERSCHBERG, L., AND PACHECO, J. E. S. A functional data base model. Pontificia Univ. Catolica do Rio de Janeiro, Rio de Janeiro, Brazil, Feb. 1976.Google Scholar
- 25 KING, R., AND MCLEOD, D. The event database specification model. In Proceedings of the 2nd International Conference on Databases: Improving Usability and Responsiveness (Jerusalem, June 1982), Academic Press, New York, 1982, 299-321.Google Scholar
- 26 KING, R., AND MCLEOD, D. A database design methodology and tool for information systems. ACM Trans. Office Inf. Syst. 3, 1 (1985), 2-21. Google ScholarDigital Library
- 27 KING, R., AND MCLEOD, D. Semantic database models. In Database Design, S. B. Yao, Ed., Springer-Verlag, New York, 1985, 115-150.Google Scholar
- 28 MCLEOD, D., AND SMITH, J.M. Abstraction in databases. In Workshop on Data Abstraction, Databases, and Conceptual Modelling (Pingree Park, Col., 1980), 19-25. Google ScholarDigital Library
- 29 MOTRO, A., AND BUNEMAN, P. Constructing superviews. In Proceedings of ACM SIGMOD International Conference on the Management of Data (1981), ACM, New York, 1981, 56-64. Google ScholarDigital Library
- 30 MYLOPOULOS, J., BERNSTEIN, P. A., AND WONG, H. K.W. A language facility for designing database-intensive applications. ACM Trans. Database Syst. 5, 2 (1980), 185-207. Google ScholarDigital Library
- 31 SHIPMAN, D. The functional data model and the data language DAPLEX.ACM Trans. Database Syst. 6, 1 (1981), 140-173. Google ScholarDigital Library
- 32 SMITH, J. M., Fox, S., AND LANDERS, T. Reference Manual for ADAPLEX. Computer Corporation of America, Cambridge, Mass., 1981.Google Scholar
- 33 SMITH, J. M., AND SMITH, D. C. P. Database abstractions: Aggregation and generalization. ACM Trans. Database Syst. 2, 2 (1977), 105-133. Google ScholarDigital Library
- 34 St), S. Y.W. SAM*: A semantic association model for corporate and scientific-statistical databases. Inf. Sci. 29 (1983), 151-199.Google ScholarCross Ref
- 35 TSICHRITZIS, D.C., AND LOCHOVSKY, F.H. Data Models. Prentice-Hall, Englewood, Cliffs, N.j., 1982. Google ScholarDigital Library
- 36 WIEDERHOLD, G., AND EL-MASRI, R. Structural model for database design. In Entity-Re~tionship Approacj to Systems Analysis and Design, P. P. Cehn, Ed., North-Holland, Amsterdam, 1980, pp. 247-267. Google ScholarDigital Library
- 37 ZLOOF, M. Query-by-example: A database language. IBM Syst. J. 16 (1977), 324-343.Google ScholarDigital Library
Index Terms
- IFO: a formal semantic database model
Recommendations
IFO: a formal semantic database model
PODS '84: Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systemsA 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 ...
A relational database model for representation of formal specifications
ACM-SE 44: Proceedings of the 44th annual Southeast regional conferenceLiterature has established the effectiveness of formal specifications for modeling specifications for computer system properties as well as for verifying program correctness. However, tools that can enable the typical commercial software developer to ...
Comments