IFO(ID:3810/ifo001)

Began: 1987

Formal semantic database model

Structures:

Database

References:

Serge Abiteboul and Richard Hull "IFO: a formal semantic database model": ACM Transactions on Database Systems Volume 12 , Issue 4 (December 1987) view details 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.