A Calculus for Complex Objects
Summary: Uniform model of complex objects built from atoms via tuple and set constructors, ordered by a sub-object partial order that yields a lattice supporting object union/intersection. Defines a calculus—extending Horn clauses—to reason and infer over these complex objects. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 28 of 28 citing papers.
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 |
|---|---|---|---|---|
| 93 | Remarks on the Algebra of Non First Normal Form Relations | 1982 | PODS | 0.00051290296 |
| 311 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00028106558 |
| 421 | Non First Normal Form Relations To Represent Hierarchically Organized Data | 1984 | PODS | 0.00023654912 |
| 544 | An Algebra Of Quotient Relations | 1977 | SIGMOD | 0.00020423199 |
| 1,051 | A Normal Form for Nested Relations | 1985 | PODS | 0.00014421811 |
| 2,191 | On the Equivalence of Logical Databases | 1984 | PODS | 9.328833e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,234 | Inherent Complexity of Recursive Queries (Extended Abstract) | 1999 | PODS | 5.1387584e-05 |
| 7,147 | Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure | 1994 | PODS | 4.8131534e-05 |
| 652 | Logic Programming With Sets | 1987 | PODS | 0.00018643929 |
| 2,520 | Untyped Sets, Invention, and Computable Queries | 1989 | PODS | 8.6044305e-05 |
| 2,775 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 8.139455e-05 |
| 7,244 | Positive Higher-Order Queries | 2010 | PODS | 4.7856771e-05 |
| 637 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB | 0.00018812264 |
| 2,808 | On the Expressive Power of Database Queries with Intermediate Types | 1988 | PODS | 8.0939851e-05 |
| 3,039 | C-Logic of Complex Objects | 1989 | PODS | 7.6684755e-05 |
| 3,631 | A Semantics for Complex Objects and Approximate Queries | 1988 | PODS | 6.8976535e-05 |