Affiliation:
1. Institut National de Recherche en Informatique et en Automatique, Racquencourt, France
2. Univ. of Southern California, Los Angeles
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.
Publisher
Association for Computing Machinery (ACM)
Reference38 articles.
1. Non First Normal Form relations: An algebra allowing data restructuring
2. IFO
3. ABITEBOUL S. AND HULL R. Restructuring hierarchical database objects. Theor. Comput. Sci. (to app~ztr). 10.1016/0304-3975(86)90010-1 ABITEBOUL S. AND HULL R. Restructuring hierarchical database objects. Theor. Comput. Sci. (to app~ztr). 10.1016/0304-3975(86)90010-1
Cited by
266 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Static Analysis of Graph Database Transformations;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
2. Data modeling and querying with fuzzy sets: A systematic survey;Fuzzy Sets and Systems;2022-09
3. 60 Years of Databases;PROBLEMS IN PROGRAMMING;2021-09
4. A formal approach for graphically building fuzzy XML model;International Journal of Intelligent Systems;2019-09-04
5. Modeling and Querying Fuzzy Data;Intelligent Systems;2018