IFO: A Formal Semantic Database Model (Preliminary Report)
Summary: IFO: a formally specified semantic model unifying ISA, functional (fragments), and object-construction relationships, subsuming relational/ER/functional models. Adds distinct type-specific diagrams, precise ISA interaction semantics, and enables algorithms like computing admissible object types. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Serge Abiteboul (INRIA)
- 2. Richard Hull (University of Southern California)
BibTeX Citation
@inproceedings{abiteboul_pods84,
address = {New York, NY, USA},
series = {{PODS} '84},
title = {{IFO: A Formal Semantic Database Model (Preliminary Report)}},
url = {https://dl.acm.org/doi/10.1145/588011.588029},
doi = {10.1145/588011.588029},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Abiteboul, Serge and Hull, Richard},
year = {1984}
}Incoming Citations (Sorted by Pagerank)
Showing 8 of 8 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,562 | Architecture and Implementation of the Darmstadt Database Kernel System | 1987 | SIGMOD | 8.2723687e-05 |
| 3,230 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.4931075e-05 |
| 4,603 | A Semantics for Complex Objects and Approximate Queries | 1988 | PODS | 6.493817e-05 |
| 5,105 | Transactions And Integrity Constraints | 1985 | PODS | 6.2611181e-05 |
| 7,283 | Towards DBMSs for Supporting New Applications | 1986 | VLDB | 5.5510474e-05 |
| 9,355 | Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization | 1993 | SIGMOD | 5.1747484e-05 |
| 10,135 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 5.0614501e-05 |
| 13,518 | Supporting Office Document Architectures with Constrained Types | 1987 | SIGMOD | 4.9605343e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10 | Extending the Data Base Relational Model to Capture More Meaning | 1979 | SIGMOD | 0.00075677079 |
| 16 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.00059778867 |
| 145 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00028989663 |
| 437 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00018259668 |
| 3,519 | LAURA: A Formal Data Model and Her Logical Design Methodology | 1983 | VLDB | 7.219922e-05 |
| 4,400 | FQL - A Functional Query Language (a preliminary report) | 1979 | SIGMOD | 6.6052217e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,105 | Transactions And Integrity Constraints | 1985 | PODS |
| 2 | 7,077 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB |
| 3 | 849 | The Semantic Data Model: A Modelling Mechanism for Data Base Applications | 1978 | SIGMOD |
| 4 | 3,230 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD |
| 5 | 6,533 | IAM:: An Inferential Abstract Modeling Approach to Design of Conceptual Schema | 1977 | SIGMOD |
| 6 | 437 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS |
| 7 | 14,801 | Using Design Axioms and Topology to Model Database Semantics | 1987 | VLDB |
| 8 | 603 | On The Semantics Of The Relational Data Model | 1975 | SIGMOD |
| 9 | 13,375 | Towards Event-Driven Modelling for Database Design | 1994 | VLDB |
| 10 | 13,404 | Towards a Formal Approach for Object Database Design | 1993 | VLDB |