Update Propagation in the IFO Database Model

  • Serge Abiteboul
  • Richard Hull

Abstract

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 [3], which formally articulates a coherent semantics for updates and update propagation in the IFO model.

Keywords

Propa Hull 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    S. Abiteboul and N. Bidoit, Non first normal form relations to represent hierarchically organized data, Journal of Computer and System Sciences 33 (3); 361–393, Dec. 1986.MathSciNetCrossRefMATHGoogle Scholar
  2. 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. 3.
    S. Abiteboul and R. Hull, IFO: A formal semantic database model, To appear in ACM Trans. on Database Systems.Google Scholar
  4. 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. 5.
    R. Brown and D. S. Parker, LAURA: A formal data model and her logical design methodology, VLDB (1983), pp. 206–218.Google Scholar
  6. 6.
    P. Buneman, R. E. Frankel, and R. Nikhil, An implementation technique for database query languages. ACM Trans. on Database Systems 7 (2): 164–186, 1982.CrossRefGoogle Scholar
  7. 7.
    P. P. Chen, “The entity-relationship model -toward a unified view of data,” ACM Trans. on Database Systems 1, 1 (1976), 9–36.CrossRefGoogle Scholar
  8. 8.
    E. F. Codd, “Extending the database relational model to capture more meaning,” ACM Trans, on Database Systems 4, 4 (1979), 397–434.CrossRefGoogle Scholar
  9. 9.
    M. Hammer and D. McLeod, “Database description with SDM: A semantic database model,” ACM Trans. on Database Systems 6, 3 (1981), 351–386.CrossRefGoogle Scholar
  10. 10.
    R. Hull and C. K. Yap, “The format model: A theory of database organization,” J. ACM 31, 3 (1984), 518–537.MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    W. Kent, “Limitations of record-based information models,” ACM Trans. on Database Systems 4, 1 (1979), 107–131.MathSciNetCrossRefGoogle Scholar
  12. 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. 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. 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. 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
  16. 16.
    D. Shipman, “The functional data model and the data language DAPLEX,” ACM Trans, on Database Systems 6, 1 (1981), 140–173.CrossRefGoogle Scholar
  17. 17.
    J. M. Smith and D. C. P. Smith, “Database abstractions: Aggregation and generalization,” ACM Trans, on Database Systems 2, 2 (1977), 105–133.CrossRefGoogle Scholar
  18. 18.
    D. C. Tsichritzis and F. H. Lochovsky, Data Models, Prentice-Hall, Englewood Cliffs, New Jersey (1982).Google Scholar

Copyright information

© Plenum Press, New York 1987

Authors and Affiliations

  • Serge Abiteboul
    • 1
  • Richard Hull
    • 2
  1. 1.Institut National de Recherche en Informatique et en AutomatiqueRocquencourtFrance
  2. 2.Computer Science DepartmentUniversity of Southern CaliforniaLos AngelesUSA

Personalised recommendations