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 |
|---|---|---|---|---|
| 97 | Remarks on the Algebra of Non First Normal Form Relations | 1982 | PODS | 0.0005080702 |
| 309 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00028136165 |
| 422 | Non First Normal Form Relations To Represent Hierarchically Organized Data | 1984 | PODS | 0.00023677809 |
| 545 | An Algebra Of Quotient Relations | 1977 | SIGMOD | 0.00020448712 |
| 1,052 | A Normal Form for Nested Relations | 1985 | PODS | 0.00014436103 |
| 2,185 | On the Equivalence of Logical Databases | 1984 | PODS | 9.3382191e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,236 | Inherent Complexity of Recursive Queries (Extended Abstract) | 1999 | PODS | 5.1436959e-05 |
| 7,146 | Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure | 1994 | PODS | 4.8177747e-05 |
| 649 | Logic Programming With Sets | 1987 | PODS | 0.00018662857 |
| 2,515 | Untyped Sets, Invention, and Computable Queries | 1989 | PODS | 8.6128871e-05 |
| 2,768 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 8.1473167e-05 |
| 7,248 | Positive Higher-Order Queries | 2010 | PODS | 4.7902631e-05 |
| 632 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB | 0.00018923134 |
| 2,800 | On the Expressive Power of Database Queries with Intermediate Types | 1988 | PODS | 8.1019352e-05 |
| 3,033 | C-Logic of Complex Objects | 1989 | PODS | 7.6759237e-05 |
| 3,630 | A Semantics for Complex Objects and Approximate Queries | 1988 | PODS | 6.9016174e-05 |