DBScholar

Back to papers

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
882
Venue
PODS
Year
1989
Pagerank
6.9736679e-05
Overall Rank
3,986 | 72.66%
DOI
10.1145/73721.73759

Incoming Non-self Citations Over Time

Authors

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,296 Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract) 1992 PODS 8.7908999e-05
3,191 Method Schemas 1990 PODS 7.6525725e-05
13,033 Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS 1994 VLDB 5.093636e-05
13,104 Subtyping in OODB's: Extended Abstract 1991 PODS 5.093636e-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
15 The Functional Data Model and the Data Language DAPLEX 1979 SIGMOD 0.00061144858
92 The Database Language GEM 1983 SIGMOD 0.00034759032
139 A Language Facility for Designing Interactive Database-Intensive Applications 1978 SIGMOD 0.00029742792
4,342 Modeling Class Hierarchies with Contradictions 1988 SIGMOD 6.7537389e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

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