Can a new database model coherently combine fundamental principles of "semantic" database modeling? This paper introduces the IFO model, a formally defined, graph-based model representing structured objects, functional relationships, and ISA relationships. This novel approach provides a coherent framework for semantic data modeling. The IFO model offers robust mechanisms for representing complex data relationships, facilitating more intuitive database design. The research obtains fundamental results regarding semantic data modeling within the IFO model's context. Notably, the paper describes types of object structures arising from multiple uses of ISA relationships and object construction. Furthermore, it presents a natural, formal definition of update propagation, proving (under specific conditions) that a correct update always exists. These results enhance our understanding of semantic data modeling and provide practical guidelines for maintaining database integrity. The IFO model serves as a comprehensive basis for formulating external data models for advanced database systems, facilitating efficient and reliable data management.
Appearing in ACM Transactions on Database Systems, this work is highly relevant to the journal's focus on advancements in database models and systems. The introduction of the IFO model and its formal properties contribute to the theoretical underpinnings of database design, aligning with the journal's emphasis on rigorous and innovative approaches to data management.