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,568 | Architecture and Implementation of the Darmstadt Database Kernel System | 1987 | SIGMOD | 8.5205422e-05 |
| 3,249 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.3223491e-05 |
| 3,631 | A Semantics for Complex Objects and Approximate Queries | 1988 | PODS | 6.8976535e-05 |
| 4,643 | Transactions And Integrity Constraints | 1985 | PODS | 6.0213009e-05 |
| 6,551 | TOWARDS DBMSs FOR SUPPORTING NEW APPLICATIONS | 1986 | VLDB | 5.0113524e-05 |
| 8,881 | Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization | 1993 | SIGMOD | 4.4252575e-05 |
| 9,543 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 4.3223802e-05 |
| 12,994 | Supporting Office Document Architectures with Constrained Types | 1987 | SIGMOD | 4.1905499e-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 |
|---|---|---|---|---|
| 7 | Extending the Data Base Relational Model to Capture More Meaning | 1979 | SIGMOD | 0.0015464728 |
| 12 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.0011268747 |
| 98 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00050311487 |
| 311 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00028106558 |
| 2,482 | LAURA: A Formal Data Model and her Logical Design Methodology | 1983 | VLDB | 8.6783176e-05 |
| 3,359 | FQL - A Functional Query Language (a preliminary report) | 1979 | SIGMOD | 7.172224e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,643 | Transactions And Integrity Constraints | 1985 | PODS | 6.0213009e-05 |
| 6,792 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9203196e-05 |
| 349 | The Semantic Data Model: A Modelling Mechanism for Data Base Applications | 1978 | SIGMOD | 0.00026431755 |
| 3,249 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.3223491e-05 |
| 5,009 | IAM:: An Inferential Abstract Modeling Approach to Design of Conceptual Schema | 1977 | SIGMOD | 5.757357e-05 |
| 311 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00028106558 |
| 14,259 | Using Design Axioms and Topology to Model Database Semantics | 1987 | VLDB | - |
| 120 | On The Semantics Of The Relational Data Model | 1975 | SIGMOD | 0.00045634921 |
| 12,854 | Towards Event-Driven Modelling for Database Design | 1994 | VLDB | 4.1905499e-05 |
| 12,883 | Towards a Formal Approach for Object Database Design | 1993 | VLDB | 4.1905499e-05 |