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: 881
Venue: PODS
Year: 1989
Pagerank: 7.6759237e-05
Overall Rank: 3,033 | 78.91%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Weidong Chen
2. David S. Warren

Incoming Citations (Sorted by Pagerank)

Showing 7 of 7 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
669	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00018430212
1,018	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00014627963
1,799	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	0.0001051612
4,337	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.2790019e-05
4,730	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS	5.967211e-05
8,453	DOODLE: A Visual Language for Object-Oriented Databases	1992	SIGMOD	4.5082358e-05
12,898	Updates in a Rule-Based Language for Objects	1992	VLDB	4.1945683e-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
440	A Calculus for Complex Objects	1986	PODS	0.00023084404
485	A New Approach to Database Logic	1984	PODS	0.00022085103
649	Logic Programming With Sets	1987	PODS	0.00018662857
912	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00015414126
1,799	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	0.0001051612
3,707	Inheritance and Persistence in Database Programming Languages	1986	SIGMOD	6.8258073e-05
3,738	Towards a Real Horn Clause Language	1988	VLDB	6.8032471e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
7,672	The Valid Model Semantics for Logic Programs	1992	PODS	4.6826453e-05
7,773	Formal Semantics and Analysis of Object Queries	2003	SIGMOD	4.655071e-05
649	Logic Programming With Sets	1987	PODS	0.00018662857
12,858	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	4.1945683e-05
12,831	Making Object-Oriented Schemas More Expressive	1994	PODS	4.1945683e-05
2,768	Modeling Complex Structures in Object-Oriented Databases	1989	PODS	8.1473167e-05
3,630	A Semantics for Complex Objects and Approximate Queries	1988	PODS	6.9016174e-05
440	A Calculus for Complex Objects	1986	PODS	0.00023084404
8,226	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD	4.5551494e-05
1,799	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	0.0001051612