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… (More)
DOI: 10.1145/588011.588029


9 Figures and Tables