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,396 | Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) | 1992 | PODS | 8.8892825e-05 |
| 2,397 | Query Rewriting for Semistructured Data | 1999 | SIGMOD | 8.8888995e-05 |
| 8,324 | New Data Models and Languages - the Challenge | 1992 | PODS | 4.5392079e-05 |
| 8,442 | Static Analysis of Graph Database Transformations | 2023 | PODS | 4.5043421e-05 |
| 8,567 | Semi-determinism (extended abstract) | 1992 | PODS | 4.4893996e-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 |
|---|---|---|---|---|
| 173 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038731283 |
| 353 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026275228 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022061287 |
| 669 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00018413233 |
| 1,020 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014614067 |
| 1,796 | A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) | 1989 | PODS | 0.00010505292 |
| 1,920 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS | 0.00010092077 |
| 3,039 | C-Logic of Complex Objects | 1989 | PODS | 7.6684755e-05 |
| 3,249 | Mapping a Semantic Database Model to the Relational Model | 1987 | SIGMOD | 7.3223491e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,836 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.0466188e-05 |
| 12,866 | Database Method Schemas and Object Creation | 1993 | PODS | 4.1905499e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.6506061e-05 |
| 3,195 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD | 7.4052272e-05 |
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |
| 12,868 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD | 4.1905499e-05 |
| 12,920 | A Non-deterministic Deductive Database Language | 1991 | SIGMOD | 4.1905499e-05 |
| 7,363 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7461604e-05 |
| 353 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026275228 |
| 1,020 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014614067 |