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)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,398 | Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) | 1992 | PODS | 8.8973978e-05 |
| 2,960 | Method Schemas | 1990 | PODS | 7.8135404e-05 |
| 12,840 | Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS | 1994 | VLDB | 4.1945683e-05 |
| 12,909 | Subtyping in OODB's: Extended Abstract | 1991 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
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 |
|---|---|---|---|---|
| 12 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.0011248121 |
| 68 | The Database Language GEM | 1983 | SIGMOD | 0.00060795269 |
| 96 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00050819255 |
| 3,865 | Modeling Class Hierarchies with Contradictions | 1988 | SIGMOD | 6.6857218e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,664 | Typed Query Languages for Databases Containing Queries | 1998 | PODS | 4.9699875e-05 |
| 2,800 | On the Expressive Power of Database Queries with Intermediate Types | 1988 | PODS | 8.1019352e-05 |
| 6,312 | Type Inference for Datalog and its Application to Query Optimisation | 2008 | PODS | 5.1158809e-05 |
| 975 | Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance | 1991 | SIGMOD | 0.00014893961 |
| 2,727 | Semantic Query Optimization in the Presence of Types | 2010 | PODS | 8.2216778e-05 |
| 2,768 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 8.1473167e-05 |
| 3,865 | Modeling Class Hierarchies with Contradictions | 1988 | SIGMOD | 6.6857218e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.655071e-05 |
| 1,897 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010178006 |
| 12,382 | Type Inference and Type Checking for Queries on Execution Traces | 2008 | VLDB | 4.1945683e-05 |