Type Systems for Querying Class Hierarchies with Non-strict Inheritance.

Summary: Type system for queries over class hierarchies allowing non-strict (potentially contradictory) inheritance, with sound and complete axiomatizations of "σ ≤ τ" and "e:τ". Proves co‑NP‑hardness with disjoint types, and gives polynomial checking for entity-only DBs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: hb129f718d3f69b09
Venue: PODS
Year: 1989
Pagerank: 6.8174846e-05
Overall Rank: 4,083 | 72.55%
DOI: 10.1145/73721.73759

Incoming Non-self Citations Over Time

Authors

1. Alexander Borgida (Rutgers University)

BibTeX Citation

@inproceedings{borgida_pods89,
        address = {New York, NY, USA},
        series = {{PODS} '89},
        title = {{Type Systems for Querying Class Hierarchies with Non-strict Inheritance.}},
        url = {https://dl.acm.org/doi/10.1145/73721.73759},
        doi = {10.1145/73721.73759},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Borgida, Alexander},
        year = {1989}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,349	Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract)	1992	PODS	8.5999717e-05
3,264	Method Schemas	1990	PODS	7.4808695e-05
13,323	Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS	1994	VLDB	4.9793485e-05
13,394	Subtyping in OODB's: Extended Abstract	1991	PODS	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
16	The Functional Data Model and the Data Language DAPLEX	1979	SIGMOD	0.00059996338
96	The Database Language GEM	1983	SIGMOD	0.00034286345
144	A Language Facility for Designing Interactive Database-Intensive Applications	1978	SIGMOD	0.00029097107
4,429	Modeling Class Hierarchies with Contradictions	1988	SIGMOD	6.6024368e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,337	Typed Query Languages for Databases Containing Queries	1998	PODS
2	2,968	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS
3	6,437	Type Inference for Datalog and its Application to Query Optimisation	2008	PODS
4	1,025	Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance	1991	SIGMOD
5	4,459	Semantic Query Optimization in the Presence of Types	2010	PODS
6	2,825	Modeling Complex Structures in Object-Oriented Databases	1989	PODS
7	4,429	Modeling Class Hierarchies with Contradictions	1988	SIGMOD
8	8,300	Formal Semantics and Analysis of Object Queries	2003	SIGMOD
9	2,317	Type Inference for Queries on Semistructured Data (Extended Abstract)	1999	PODS
10	12,865	Type Inference and Type Checking for Queries on Execution Traces	2008	VLDB