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
- 2. Richard Hull
Incoming Citations (Sorted by Pagerank)
Showing 8 of 8 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,561 | Architecture and Implementation of the Darmstadt Database Kernel System | 1987 | SIGMOD | 8.5400984e-05 |
| 3,243 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.3294351e-05 |
| 3,630 | A Semantics for Complex Objects and Approximate Queries | 1988 | PODS | 6.9016174e-05 |
| 4,640 | Transactions And Integrity Constraints | 1985 | PODS | 6.0271345e-05 |
| 6,555 | TOWARDS DBMSs FOR SUPPORTING NEW APPLICATIONS | 1986 | VLDB | 5.0155947e-05 |
| 8,881 | Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization | 1993 | SIGMOD | 4.4294996e-05 |
| 9,542 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 4.3265281e-05 |
| 12,983 | Supporting Office Document Architectures with Constrained Types | 1987 | SIGMOD | 4.1945683e-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 |
|---|---|---|---|---|
| 8 | Extending the Data Base Relational Model to Capture More Meaning | 1979 | SIGMOD | 0.0015385917 |
| 12 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.0011248121 |
| 96 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00050819255 |
| 309 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00028136165 |
| 2,481 | LAURA: A Formal Data Model and her Logical Design Methodology | 1983 | VLDB | 8.6870033e-05 |
| 3,357 | FQL - A Functional Query Language (a preliminary report) | 1979 | SIGMOD | 7.1794877e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,640 | Transactions And Integrity Constraints | 1985 | PODS | 6.0271345e-05 |
| 6,791 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9250521e-05 |
| 348 | The Semantic Data Model: A Modelling Mechanism for Data Base Applications | 1978 | SIGMOD | 0.00026443996 |
| 3,243 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.3294351e-05 |
| 5,008 | IAM:: An Inferential Abstract Modeling Approach to Design of Conceptual Schema | 1977 | SIGMOD | 5.7629057e-05 |
| 309 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00028136165 |
| 14,245 | Using Design Axioms and Topology to Model Database Semantics | 1987 | VLDB | - |
| 120 | On The Semantics Of The Relational Data Model | 1975 | SIGMOD | 0.00045646715 |
| 12,845 | Towards Event-Driven Modelling for Database Design | 1994 | VLDB | 4.1945683e-05 |
| 12,873 | Towards a Formal Approach for Object Database Design | 1993 | VLDB | 4.1945683e-05 |