On the Equivalence of Database Restructurings Involving Object Identifiers
Summary: Equivalence of ILOG programs that create OIDs via Skolem functors, distinguishing exposed (Skolem visible) vs obscured (opaque fresh OIDs). Undecidable with negation or recursion; exposed-equivalence decidable for nrec ILOG; obscured-equivalence decidable for a broad class and one special case, full nrec obscured remains open. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,398 | Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) | 1992 | PODS | 8.8973978e-05 |
| 2,399 | Query Rewriting for Semistructured Data | 1999 | SIGMOD | 8.8973689e-05 |
| 8,331 | New Data Models and Languages - the Challenge | 1992 | PODS | 4.5435639e-05 |
| 8,450 | Static Analysis of Graph Database Transformations | 2023 | PODS | 4.5086643e-05 |
| 8,570 | Semi-determinism (extended abstract) | 1992 | PODS | 4.4937074e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 9 of 9 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 172 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038808816 |
| 352 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026299604 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022085103 |
| 669 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00018430212 |
| 1,018 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014627963 |
| 1,799 | A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) | 1989 | PODS | 0.0001051612 |
| 1,916 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS | 0.00010101977 |
| 3,033 | C-Logic of Complex Objects | 1989 | PODS | 7.6759237e-05 |
| 3,243 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.3294351e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,830 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.054172e-05 |
| 12,857 | Database Method Schemas and Object Creation | 1993 | PODS | 4.1945683e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.655071e-05 |
| 3,189 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD | 7.4116834e-05 |
| 4,346 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2725564e-05 |
| 12,858 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD | 4.1945683e-05 |
| 12,910 | A Non-deterministic Deductive Database Language | 1991 | SIGMOD | 4.1945683e-05 |
| 7,368 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7507411e-05 |
| 352 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026299604 |
| 1,018 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014627963 |