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,518 | Architecture and Implementation of the Darmstadt Database Kernel System | 1987 | SIGMOD | 8.4755514e-05 |
| 3,156 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.693414e-05 |
| 4,491 | A Semantics for Complex Objects and Approximate Queries | 1988 | PODS | 6.6652483e-05 |
| 4,962 | Transactions And Integrity Constraints | 1985 | PODS | 6.4273819e-05 |
| 7,138 | Towards DBMSs for Supporting New Applications | 1986 | VLDB | 5.6933382e-05 |
| 9,152 | Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization | 1993 | SIGMOD | 5.3133028e-05 |
| 9,910 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 5.1972596e-05 |
| 13,181 | Supporting Office Document Architectures with Constrained Types | 1987 | SIGMOD | 5.093636e-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.0007727299 |
| 15 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.00061144858 |
| 139 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00029742792 |
| 421 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00018742219 |
| 3,443 | LAURA: A Formal Data Model and Her Logical Design Methodology | 1983 | VLDB | 7.4116889e-05 |
| 4,284 | FQL - A Functional Query Language (a preliminary report) | 1979 | SIGMOD | 6.7819254e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 4,962 | Transactions And Integrity Constraints | 1985 | PODS |
| 2 | 6,911 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB |
| 3 | 824 | The Semantic Data Model: A Modelling Mechanism for Data Base Applications | 1978 | SIGMOD |
| 4 | 3,156 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD |
| 5 | 6,388 | IAM:: An Inferential Abstract Modeling Approach to Design of Conceptual Schema | 1977 | SIGMOD |
| 6 | 421 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS |
| 7 | 14,445 | Using Design Axioms and Topology to Model Database Semantics | 1987 | VLDB |
| 8 | 589 | On The Semantics Of The Relational Data Model | 1975 | SIGMOD |
| 9 | 13,038 | Towards Event-Driven Modelling for Database Design | 1994 | VLDB |
| 10 | 13,067 | Towards a Formal Approach for Object Database Design | 1993 | VLDB |