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.6684755e-05
Overall Rank: 3,039 | 78.89%
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.00018413233
1,020	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00014614067
1,796	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	0.00010505292
4,335	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.2729533e-05
4,729	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS	5.9614713e-05
8,447	DOODLE: A Visual Language for Object-Oriented Databases	1992	SIGMOD	4.5039113e-05
12,908	Updates in a Rule-Based Language for Objects	1992	VLDB	4.1905499e-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
443	A Calculus for Complex Objects	1986	PODS	0.00023059917
485	A New Approach to Database Logic	1984	PODS	0.00022061287
652	Logic Programming With Sets	1987	PODS	0.00018643929
910	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00015398775
1,796	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	0.00010505292
3,734	Inheritance and Persistence in Database Programming Languages	1986	SIGMOD	6.8055714e-05
3,739	Towards a Real Horn Clause Language	1988	VLDB	6.7979486e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
7,671	The Valid Model Semantics for Logic Programs	1992	PODS	4.6781479e-05
7,773	Formal Semantics and Analysis of Object Queries	2003	SIGMOD	4.6506061e-05
652	Logic Programming With Sets	1987	PODS	0.00018643929
12,868	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	4.1905499e-05
12,840	Making Object-Oriented Schemas More Expressive	1994	PODS	4.1905499e-05
2,775	Modeling Complex Structures in Object-Oriented Databases	1989	PODS	8.139455e-05
3,631	A Semantics for Complex Objects and Approximate Queries	1988	PODS	6.8976535e-05
443	A Calculus for Complex Objects	1986	PODS	0.00023059917
8,224	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD	4.550782e-05
1,796	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	0.00010505292