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,396 | Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) | 1992 | PODS | 8.8892825e-05 |
| 2,964 | Method Schemas | 1990 | PODS | 7.8060034e-05 |
| 12,849 | Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS | 1994 | VLDB | 4.1905499e-05 |
| 12,919 | Subtyping in OODB's: Extended Abstract | 1991 | PODS | 4.1905499e-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.0011268747 |
| 68 | The Database Language GEM | 1983 | SIGMOD | 0.00060817676 |
| 98 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00050311487 |
| 3,847 | Modeling Class Hierarchies with Contradictions | 1988 | SIGMOD | 6.700212e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,667 | Typed Query Languages for Databases Containing Queries | 1998 | PODS | 4.9651817e-05 |
| 2,808 | On the Expressive Power of Database Queries with Intermediate Types | 1988 | PODS | 8.0939851e-05 |
| 6,312 | Type Inference for Datalog and its Application to Query Optimisation | 2008 | PODS | 5.1109656e-05 |
| 975 | Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance | 1991 | SIGMOD | 0.00014879359 |
| 2,732 | Semantic Query Optimization in the Presence of Types | 2010 | PODS | 8.2137395e-05 |
| 2,775 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 8.139455e-05 |
| 3,847 | Modeling Class Hierarchies with Contradictions | 1988 | SIGMOD | 6.700212e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.6506061e-05 |
| 1,900 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010168127 |
| 12,390 | Type Inference and Type Checking for Queries on Execution Traces | 2008 | VLDB | 4.1905499e-05 |