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,556 | Architecture and Implementation of the Darmstadt Database Kernel System | 1987 | SIGMOD | 8.3026469e-05 |
| 3,218 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.5212385e-05 |
| 4,584 | A Semantics for Complex Objects and Approximate Queries | 1988 | PODS | 6.5181125e-05 |
| 5,082 | Transactions And Integrity Constraints | 1985 | PODS | 6.2847136e-05 |
| 7,262 | Towards DBMSs for Supporting New Applications | 1986 | VLDB | 5.5715782e-05 |
| 9,322 | Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization | 1993 | SIGMOD | 5.1942711e-05 |
| 10,097 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 5.0806471e-05 |
| 13,471 | Supporting Office Document Architectures with Constrained Types | 1987 | SIGMOD | 4.9793485e-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.00075944947 |
| 16 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.00059996338 |
| 144 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00029097107 |
| 434 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00018328281 |
| 3,510 | LAURA: A Formal Data Model and Her Logical Design Methodology | 1983 | VLDB | 7.2468609e-05 |
| 4,373 | FQL - A Functional Query Language (a preliminary report) | 1979 | SIGMOD | 6.6302273e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,082 | Transactions And Integrity Constraints | 1985 | PODS |
| 2 | 7,053 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB |
| 3 | 847 | The Semantic Data Model: A Modelling Mechanism for Data Base Applications | 1978 | SIGMOD |
| 4 | 3,218 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD |
| 5 | 6,519 | IAM:: An Inferential Abstract Modeling Approach to Design of Conceptual Schema | 1977 | SIGMOD |
| 6 | 434 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS |
| 7 | 14,756 | Using Design Axioms and Topology to Model Database Semantics | 1987 | VLDB |
| 8 | 602 | On The Semantics Of The Relational Data Model | 1975 | SIGMOD |
| 9 | 13,328 | Towards Event-Driven Modelling for Database Design | 1994 | VLDB |
| 10 | 13,357 | Towards a Formal Approach for Object Database Design | 1993 | VLDB |