Update Propagation in the IFO Database Model
The IFO model [2, 3] is a formal database model which encompasses the fundamental structural components found in the semantic database modelling literature [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18]. The IFO model uses a graph-based formalism to represent three basic types of relationships between data: ISA relationships, functional relationships, and relationships arising in the construction of objects from simpler objects (e.g., CONVOYs are objects built from the simpler objects SHIPs), The presence of these types of relationships between data objects leads to intricate types of propagation when updates to the underlying data are made. This extended abstract reports on a development presented in , which formally articulates a coherent semantics for updates and update propagation in the IFO model.
Unable to display preview. Download preview PDF.
- 2.S. Abiteboul and R. Hull, IFO: A Formal Semantic Database Model (Preliminary Report), Proc. ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1984), pp. 119–132.Google Scholar
- 3.S. Abiteboul and R. Hull, IFO: A formal semantic database model, To appear in ACM Trans. on Database Systems.Google Scholar
- 4.F. Banchilhon, et al., Verso: A relational back end data base machine, Proc. Inter. Workshop on Database Machines, San Diego, California (1982).Google Scholar
- 5.R. Brown and D. S. Parker, LAURA: A formal data model and her logical design methodology, VLDB (1983), pp. 206–218.Google Scholar
- 12.L. Kerschberg and J. E. S. Pacheco, A functional data base model, Pontificia Universidade Catolica do Rio de Janeiro, Rio de Janeiro, Brazil, February 1976.Google Scholar
- 13.R. King and D. McLeod, “A methodology and tool for designing office information systems,” ACM Trans, on Office Information Systems, 1985.Google Scholar
- 14.R. King and D. McLeod, Semantic database models, In: Database Design, S. B. Yao, ed., Springer-Verlag, New York (1985), pp. 115–150.Google Scholar
- 15.D. McLeod and J. M. Smith, Abstraction in databases, Workshop on Data Abstraction, Databases, and Conceptual Modelling, Pingree Park, Colorado (1980), pp. 19–25.Google Scholar
- 18.D. C. Tsichritzis and F. H. Lochovsky, Data Models, Prentice-Hall, Englewood Cliffs, New Jersey (1982).Google Scholar