DBScholar

Back to papers

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)

Paper ID
h2a4a974e3e7e1a61
Venue
PODS
Year
1986
Pagerank
0.00017406684
Overall Rank
488 | 96.74%
DOI
10.1145/6012.15404

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{bancilhon_pods86,
        address = {New York, NY, USA},
        series = {{PODS} '86},
        title = {{A Calculus for Complex Objects}},
        url = {https://dl.acm.org/doi/10.1145/6012.15404},
        doi = {10.1145/6012.15404},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Bancilhon, Francois and Khoshafian, Setrag},
        year = {1986}
}

Incoming Citations (Sorted by Pagerank)

Showing 28 of 28 citing papers.

Rank Citing Paper Year Venue Pagerank
368 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00019850502
638 LDL: A Logic-Based Data-Language 1986 VLDB 0.0001531355
704 A Data Model and Query Language for EXODUS 1988 SIGMOD 0.00014633243
763 O2, an Object-Oriented Data Model 1988 SIGMOD 0.00014111102
810 FAD, a Powerful and Simple Database Language 1987 VLDB 0.0001372686
831 Logic Programming With Sets 1987 PODS 0.00013564613
908 F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme 1989 SIGMOD 0.00013123298
1,715 Language Features for Interoperability of Databases with Schematic Discrepancies 1991 SIGMOD 9.7938222e-05
1,743 The O2 Database Programming Language 1989 VLDB 9.7256595e-05
1,933 Implementation Techniques of Complex Objects 1986 VLDB 9.3441192e-05
1,961 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 9.2843909e-05
2,466 Untyped Sets, Invention, and Computable Queries 1989 PODS 8.4057294e-05
2,562 Architecture and Implementation of the Darmstadt Database Kernel System 1987 SIGMOD 8.2723687e-05
2,761 Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions 1988 PODS 8.0258082e-05
2,840 Modeling Complex Structures in Object-Oriented Databases 1989 PODS 7.9379573e-05
2,982 On the Expressive Power of Database Queries with Intermediate Types 1988 PODS 7.7719553e-05
3,155 C-Logic of Complex Objects 1989 PODS 7.5700426e-05
3,551 Data Functions, Datalog and Negation (Extended Abstract) 1988 SIGMOD 7.188942e-05
4,124 Inheritance and Persistence in Database Programming Languages 1986 SIGMOD 6.7797683e-05
4,603 A Semantics for Complex Objects and Approximate Queries 1988 PODS 6.493817e-05
5,498 Storage Reclamation in Object Oriented Database Systems 1987 SIGMOD 6.09303e-05
6,821 A Multi-Resolution Relational Data Model 1992 VLDB 5.6582692e-05
7,182 Extending the Relational Algebra to Capture Complex Objects 1989 VLDB 5.5762507e-05
8,322 Managing Complex Objects in an Extensible Relational DBMS 1989 VLDB 5.3398181e-05
9,355 Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization 1993 SIGMOD 5.1747484e-05
9,894 Deciding Well-Definedness of XQuery Fragments 2005 PODS 5.1004835e-05
13,434 On the power of Rule-Based Languages with Sets 1991 PODS 4.9605343e-05
13,498 Management of Complex Objects as Dynamic Forms 1988 VLDB 4.9605343e-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
140 Remarks on the Algebra of Non First Normal Form Relations 1982 PODS 0.00029239337
437 The Format Model: A Theory of Database Organization (extended abstract) 1982 PODS 0.00018259668
551 Non First Normal Form Relations To Represent Hierarchically Organized Data 1984 PODS 0.00016502064
1,087 A Normal Form for Nested Relations 1985 PODS 0.00012067301
1,629 An Algebra Of Quotient Relations 1977 SIGMOD 0.00010016752
3,241 On the Equivalence of Logical Databases 1984 PODS 7.4819412e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 6,764 Inherent Complexity of Recursive Queries (Extended Abstract) 1999 PODS
2 7,507 Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure 1994 PODS
3 831 Logic Programming With Sets 1987 PODS
4 2,466 Untyped Sets, Invention, and Computable Queries 1989 PODS
5 2,840 Modeling Complex Structures in Object-Oriented Databases 1989 PODS
6 7,829 Positive Higher-Order Queries 2010 PODS
7 866 The Representation and Deductive Retrieval of Complex Objects 1985 VLDB
8 2,982 On the Expressive Power of Database Queries with Intermediate Types 1988 PODS
9 3,155 C-Logic of Complex Objects 1989 PODS
10 4,603 A Semantics for Complex Objects and Approximate Queries 1988 PODS