C-Logic of Complex Objects

Summary: Proposes C-logic, a first-order semantic logic for representing complex objects with object identity, multi-valued labels, and dynamic types. Offers a natural specification style for nested/multi-labeled objects and a framework for exploring efficient logical deduction. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 880
Venue: PODS
Year: 1989
Pagerank: 7.7717632e-05
Overall Rank: 3,083 | 78.85%
DOI: 10.1145/73721.73757

Incoming Non-self Citations Over Time

Authors

1. Weidong Chen (State University of New York at Stony Brook)
2. David S. Warren (State University of New York at Stony Brook)

BibTeX Citation

@inproceedings{chen_pods89,
        address = {New York, NY, USA},
        series = {{PODS} '89},
        title = {{C-Logic of Complex Objects}},
        url = {https://dl.acm.org/doi/10.1145/73721.73757},
        doi = {10.1145/73721.73757},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Chen, Weidong and Warren, David S.},
        year = {1989}
}

Incoming Citations (Sorted by Pagerank)

Showing 7 of 7 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
877	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013464822
971	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012875736
1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.5298123e-05
4,555	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS	6.6344715e-05
4,919	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.4452856e-05
8,816	DOODLE: A Visual Language for Object-Oriented Databases	1992	SIGMOD	5.363753e-05
13,092	Updates in a Rule-Based Language for Objects	1992	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
475	A Calculus for Complex Objects	1986	PODS	0.00017864549
544	A New Approach to Database Logic	1984	PODS	0.00016792556
799	Logic Programming With Sets	1987	PODS	0.00013911498
1,026	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00012578477
1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.5298123e-05
4,010	Inheritance and Persistence in Database Programming Languages	1986	SIGMOD	6.9610816e-05
4,072	Towards a Real Horn Clause Language	1988	VLDB	6.9258731e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	8,083	The Valid Model Semantics for Logic Programs	1992	PODS
2	8,120	Formal Semantics and Analysis of Object Queries	2003	SIGMOD
3	799	Logic Programming With Sets	1987	PODS
4	13,052	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD
5	13,025	Making Object-Oriented Schemas More Expressive	1994	PODS
6	2,768	Modeling Complex Structures in Object-Oriented Databases	1989	PODS
7	4,491	A Semantics for Complex Objects and Approximate Queries	1988	PODS
8	475	A Calculus for Complex Objects	1986	PODS
9	13,154	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD
10	1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS