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.

DOI: 10.1145/588011.588029

Extracted Key Phrases

9 Figures and Tables


Citations per Year

504 Citations

Semantic Scholar estimates that this publication has 504 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Abiteboul1984IFOAF, title={IFO: A Formal Semantic Database Model}, author={Serge Abiteboul and Richard Hull}, journal={ACM Trans. Database Syst.}, year={1984}, volume={12}, pages={525-565} }