IFO: A Formal Semantic Database Model.

@article{DBLP:journals/tods/AbiteboulH87,
  author    = {Serge Abiteboul and
               Richard Hull},
  title     = {IFO: A Formal Semantic Database Model},
  journal   = {ACM Trans. Database Syst.},
  volume    = {12},
  number    = {4},
  year      = {1987},
  pages     = {525-565},
  ee        = {http://doi.acm.org/10.1145/32204.32205, db/journals/tods/AbiteboulH87.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1987 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Conference Version

References

[1]

Serge Abiteboul, Nicole Bidoit: Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33(3): 361-393(1986) BibTeX

[2]

Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. PODS 1984: 119-132 BibTeX

[3]

Serge Abiteboul, Richard Hull: Restructuring Hierarchical Database Objects. Theor. Comput. Sci. 62(1-2): 3-38(1988) BibTeX

[4]

...

[5]

Paolo Atzeni, Douglas Stott Parker Jr.: Formal Properties of Net-Based Knowledge Representation Schemes. ICDE 1986: 700-706 BibTeX

[6]

...

[6a]

Carlo Batini, Maurizio Lenzerini, Shamkant B. Navathe: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Comput. Surv. 18(4): 323-364(1986) BibTeX

[7]

...

[8]

...

[9]

Robert Brown, Douglas Stott Parker Jr.: LAURA: A Formal Data Model and her Logical Design Methodology. VLDB 1983: 206-218 BibTeX

[10]

Daniel Bryce, Richard Hull: SNAP: A Graphics-based Schema Manager. ICDE 1986: 151-164 BibTeX

[11]

Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil: An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7(2): 164-186(1982) BibTeX

[12]

Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. 28(1): 29-59(1984) BibTeX

[13]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX

[14]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[15]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX

[16]

Umeshwar Dayal, Hai-Yann Hwang: View Definition and Generalization for Database Integration in a Multidatabase System. IEEE Trans. Software Eng. 10(6): 628-645(1984) BibTeX

[17]

Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983
BibTeX

[18]

Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX

[19]

...

[20]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX

[21]

Richard Hull, Chee-Keng Yap: The Format Model: A Theory of database Organization. J. ACM 31(3): 518-544(1984) BibTeX

[22]

...

[23]

William Kent: Limitations of Record-Based Information Models. ACM Trans. Database Syst. 4(1): 107-131(1979) BibTeX

[24]

...

[25]

Roger King, Dennis McLeod: The Event Database Specifications Model. JCDKB 1982: 299-322 BibTeX

[26]

Roger King, Dennis McLeod: A Database Design Methodology and Tool for Information Systems. ACM Trans. Inf. Syst. 3(1): 2-21(1985) BibTeX

[27]

...

[28]

...

[29]

Amihai Motro, Peter Buneman: Constructing Superviews. SIGMOD Conference 1981: 56-64 BibTeX

[30]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[31]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX

[32]

...

[33]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[34]

...

[35]

...

[36]

Gio Wiederhold, Ramez Elmasri: The Structural Model for Database Design. ER 1979: 237-258 BibTeX

[37]

Moshé M. Zloof: Query-by-Example: A Data Base Language. IBM Systems Journal 16(4): 324-343(1977) BibTeX

Referenced by

1. Susan B. Davidson, Anthony Kosky: Specifying Database Transformations in WOL. IEEE Data Eng. Bull. 22(1): 25-30(1999)
2. Sergio Gálvez, Antonio Guevara, Andrés Aguayo, José Luis Caro: Forms Management System. ADBIS (Short Papers) 1999: 171-177
3. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. IEEE Trans. Knowl. Data Eng. 10(4): 576-598(1998)
4. Simon R. Rollinson, Stuart A. Roberts: Formalizing the Informational Content of Database User Interfaces. ER 1998: 65-77
5. Tiziana Catarci, Giuseppe Santucci, John Cardiff: Graphical Interaction with Heterogeneous Databases. VLDB J. 6(2): 97-120(1997)
6. Serge Abiteboul: Querying Semi-Structured Data. ICDT 1997: 1-18
7. Susan B. Davidson, Anthony Kosky: WOL: A Language for Database Transformations and Constraints. ICDE 1997: 55-65
8. Anastasia Analyti, Nicolas Spyratos, Panos Constantopoulos: Property Covering: A Powerful Construct for Schema Derivations. ER 1997: 271-284
9. Zoé Lacroix, Claude Delobel, Philippe Brèche: Object Views and Database Restructuring. DBPL 1997: 180-201
10. Joan Peckham, Fred J. Maryanski, Steven A. Demurjian: Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema. IEEE Trans. Knowl. Data Eng. 8(3): 503-507(1996)
11. Holger Riedel, Andreas Heuer: Evaluation and Optimization of the LIVING IN A LATTICE Rule Language. ICDE 1996: 318-325
12. Dimitri Theodoratos: Deductive Object Oriented Schemas. ER 1996: 58-72
13. Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)
14. I-Min A. Chen, Richard Hull, Dennis McLeod: An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. ACM Trans. Database Syst. 20(4): 365-413(1995)
15. Peter Buneman, Susan B. Davidson, Kyle Hart, G. Christian Overton, Limsoon Wong: A Data Transformation System for Biological Data Sources. VLDB 1995: 158-169
16. Ti-Pin Chang, Richard Hull: Using Witness Generators to Support Bi-directional Update Between Object-Based Databases. PODS 1995: 196-207
17. Maguelonne Teisseire: Behavioural Constraints Using Events. OOER 1995: 123-132
18. Martin Gogolla: A Declarative Query Approach to Object Identification. OOER 1995: 65-76
19. Zinovy Diskin, Boris Cadish: Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER and OO via Sketches with Dynamic Markers. OOER 1995: 226-237
20. Anthony Kosky: Observational Distinguishability of Databases with Object Identity. DBPL 1995: 11
21. Jan Hidders: Union-Types in Object-Oriented Schemes. DBPL 1995: 2
22. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
23. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: Set Restrictions for Semantic Groupings. IEEE Trans. Knowl. Data Eng. 6(2): 193-204(1994)
24. Xue-Miao Lu, Tharam S. Dillon: An Algebraic Theory of Object-Oriented Systems. IEEE Trans. Knowl. Data Eng. 6(3): 412-419(1994)
25. Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti: Towards Event-Driven Modelling for Database Design. VLDB 1994: 285-296
26. Richard Cooper, Zhenzhou Qin: A Generic Data Model for the Support of Multiple User Interaction Facilities. ER 1994: 351-368
27. Hiroshi Ishikawa, Fumio Suzuki, Fumihiko Kozakura, Akifumi Makinouchi, Mika Miyagishima, Yoshio Izumida, Masaaki Aoshima, Yasuo Yamane: The Model, Language, and Implementation of an Object-Oriented Multimedia Knowledge Base Management System. ACM Trans. Database Syst. 18(1): 1-50(1993)
28. Pascal Poncelet, Maguelonne Teisseire, Rosine Cicchetti, Lotfi Lakhal: Towards a Formal Approach for Object Database Design. VLDB 1993: 278-289
29. Limsoon Wong: Normal Forms and Conservative Properties for Query Languages over Collection Types. PODS 1993: 26-36
30. Karl Denninghoff, Victor Vianu: Database Method Schemas and Object Creation. PODS 1993: 265-275
31. Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389
32. Jaroslaw A. Chudziak, Henryk Rybinski, James Vorbach: Towards a Unifying Logic Formalism for Semantic Data Models. ER 1993: 492-507
33. Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992)
34. Elke A. Rundensteiner, Lubomir Bic: Set Operations in Object-Based Data Models. IEEE Trans. Knowl. Data Eng. 4(4): 382-398(1992)
35. Tzy-Hey Chang, Edward Sciore: A Universal Relation Data Model with Semantic Abstraction. IEEE Trans. Knowl. Data Eng. 4(1): 23-33(1992)
36. Domenico Beneventano, Sonia Bergamaschi: Subsumption for Complex Object Data Models. ICDT 1992: 357-375
37. Gerti Kappel, Michael Schrefl: Local Referential Integrity. ER 1992: 41-61
38. Rudolf Herzig, Martin Gogolla: Transforming Conceptual Data Models into an Object Model. ER 1992: 280-298
39. Marc Andries, Marc Gemis, Jan Paredaens, Inge Thyssens, Jan Van den Bussche: Concepts for Graph-Oriented Object Manipulation. EDBT 1992: 21-38
40. Martin Gogolla, Uwe Hohenstein: Towards a Semantic View of an Extended Entity-Relationship Model. ACM Trans. Database Syst. 16(3): 369-416(1991)
41. Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991)
42. Kazuyuki Tsuda, Kensaku Yamamoto, Masahito Hirakawa, Minoru Tanaka, Tadao Ichikawa: MORE: An Object-Oriented Data Model with a Facility for Changing Object Structures. IEEE Trans. Knowl. Data Eng. 3(4): 444-460(1991)
43. Richard Hull, Surjatini Widjojo, Dave Wile, Masatoshi Yoshikawa: On Data Restructuring and Merging with Object Identity. IEEE Data Eng. Bull. 14(2): 18-22(1991)
44. Jianwen Su: Dynamic Constraints and Object Migration. VLDB 1991: 233-242
45. Thierry Barsalou, Arthur M. Keller, Niki Siambela, Gio Wiederhold: Updating Relational Databases through Object-Based Views. SIGMOD Conference 1991: 248-257
46. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
47. Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991: 315-327
48. Andreas Heuer, Peter Sander: Classifying Object-Oriented Query Results in a Class/Type Lattice. MFDBS 1991: 14-28
49. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: A Semantic Integrity Framework: Set Restrictions for Semantic Groupings. ICDE 1991: 710-717
50. Andreas Heuer, Peter Sander: Preserving and Generating Objects in the LIVING IN A LATTICE Rule Language. ICDE 1991: 562-569
51. Shamkant B. Navathe, A. Balaraman: A Transaction Architecture for a General Purpose Semantic Data Model. ER 1991: 511-541
52. Ralf Jungclaus, Gunter Saake, Thorsten Hartmann: Language Features for Object-Oriented Conceptual Modelling. ER 1991: 309-324
53. Uwe Hohenstein, Klaus Hülsmann: A Language for Specifying Static and Dynamic Integrity Constraints. ER 1991: 389-416
54. Martin Gogolla, Bernd Meyer, Gerd Westerman: Drafting Extended Entity-Relationship Schemas with QUEER. ER 1991: 561-585
55. Stéphane Grumbach, Victor Vianu: Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991: 111-122
56. Martin Erwig, Udo W. Lipeck: A Functional DBPL Revealing High Level Optimizations. DBPL 1991: 306-321
57. Guozhu Dong, Jianwen Su: Object Behaviors and Scripts. DBPL 1991: 383-398
58. Paolo Atzeni, Riccardo Torlone: Management of Multiple Models: A Metamodel for Conceptual Models. DBPL 1991: 169-181
59. Koichi Takeda: Designing Natural Language Objects. DASFAA 1991: 444-448
60. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: Restricting Is-A Related Groupings Using Object Equivalence. DASFAA 1991: 136-145
61. Susan Darling Urban, Lois M. L. Delcambre: Constraint Analysis: A Design Process for Specifying Operations on Objects. IEEE Trans. Knowl. Data Eng. 2(4): 391-400(1990)
62. Y. Richard Wang, Stuart E. Madnick: A Polygen Model for Heterogeneous Database Systems: The Source Tagging Perspective. VLDB 1990: 519-538
63. Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468
64. Atsushi Ohori: Representing Object Identity in a Pure Functional Language. ICDT 1990: 41-55
65. Catriel Beeri, Yoram Kornatzky: Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990: 72-88
66. Gary W. Smith: The Semantic Data Model for Security: Representing the Security Semantics of an Application. ICDE 1990: 322-329
67. Victor M. Markowitz: Representing Processes in the Extended Entity-Relationship Model. ICDE 1990: 103-110
68. Uwe Hohenstein, Gregor Engels: Formal Semantics of an Entity-Relationship-Based Query Language. ER 1990: 171-188
69. Andreas Heuer, Jürgen Fuchs, U. Wiebking: OSCAR: An Object-Oriented Database System with a Nested Relational Kernel. ER 1990: 95-110
70. Elke A. Rundensteiner, Lubomir Bic: Set Operations in a Data Model Supporting Complex Objects. EDBT 1990: 286-300
71. I-Min A. Chen, Dennis McLeod: Derived Data Update in Semantic Databases. VLDB 1989: 225-235
72. Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57
73. H. V. Jagadish: Incorporating Hierarchy in a Relational Model of Data. SIGMOD Conference 1989: 78-87
74. Richard Hull, Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989: 147-158
75. Marc Gyssens, Jan Paredaens, Dirk Van Gucht: A Grammar-Based Approach Towards Unifying Hierarchical Data Models (Extended Abstract). SIGMOD Conference 1989: 263-272
76. Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67
77. Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173
78. Bernhard Thalheim: The Higher-Order Entity-Relationship Model and (DB)2. MFDBS 1989: 382-397
79. Andreas Heuer: Equivalent Schemes in Semantic, Nested Relational, and Relational Database Models. MFDBS 1989: 237-253
80. Michel Schneider, Claude Trépied: A Graphical Query Language Based on an Extended E-R Model. ER 1989: 403-417
81. Uwe Hohenstein: Automatic Transformation of an Entity-Relationship Query Language into SQL. ER 1989: 303-321
82. David W. Embley, Tok Wang Ling: Synergistic Database Design with an Extended Entity-Relationship Model. ER 1989: 111-128
83. Peter Baumann: Valences: A new Relationship Concept for the Entity-Relationship Model. ER 1989: 59-72
84. Richard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410
85. Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153
86. Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988: 39-51
87. Gabriel M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model (Extended Abstract). ICDT 1988: 267-280
88. Jaroslav Pokorný: A Function: Unifying Mechanism for Entity-Oriented Database Models. ER 1988: 165-181
89. Shamkant B. Navathe, Mahan K. Pillalamarri: OOER: Toward Making the E-R Approach Object-Oriented. ER 1988: 185-206
90. Jacques Hagelstein, André Rifaut: A Semantic Analysis of the Collection Concept. ER 1988: 149-164
91. Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987)
92. Susan Darling Urban, Lois M. L. Delcambre: Perspectives of a Semantic Schema. ICDE 1987: 485-492
93. Serge Abiteboul, Richard Hull: Restructuring of Complex Objects and Office Forms. ICDT 1986: 54-72
94. Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. PODS 1984: 119-132