Method Schemas
Summary: Introduces “method schemas”: a minimal formal model capturing OO features (classes, methods, inheritance, name overloading, late binding). Studies consistency of schemas, proves general undecidability, pinpoints decidable fragments (monadic/recursion‑free), analyzes covariance and sketches incremental/sound checking. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 9 of 9 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,316 | Activity Model: A Declarative Approach for Capturing Communication Behaviour in Object-Oriented Databases | 1992 | VLDB | 6.2885419e-05 |
| 4,337 | LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance | 1991 | SIGMOD | 6.2790019e-05 |
| 5,100 | Methods and Rules | 1993 | SIGMOD | 5.6996909e-05 |
| 8,172 | The Power of Methods With Parallel Semantics | 1991 | VLDB | 4.5684406e-05 |
| 8,331 | New Data Models and Languages - the Challenge | 1992 | PODS | 4.5435639e-05 |
| 12,830 | Object Migration | 1994 | PODS | 4.1945683e-05 |
| 12,840 | Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS | 1994 | VLDB | 4.1945683e-05 |
| 12,857 | Database Method Schemas and Object Creation | 1993 | PODS | 4.1945683e-05 |
| 12,858 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 352 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026299604 |
| 451 | Semantics and Implementation of Schema Evolution in Object-Oriented Databases | 1987 | SIGMOD | 0.0002281305 |
| 722 | Object-Oriented Database Systems | 1988 | PODS | 0.00017547917 |
| 1,688 | Automata Theory for Database Theoreticians | 1989 | PODS | 0.00010913301 |
| 3,189 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD | 7.4116834e-05 |
| 3,863 | Type Systems for Querying Class Hierarchies with Non-strict Inheritance. | 1989 | PODS | 6.6873684e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,840 | Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS | 1994 | VLDB | 4.1945683e-05 |
| 2,768 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 8.1473167e-05 |
| 8,172 | The Power of Methods With Parallel Semantics | 1991 | VLDB | 4.5684406e-05 |
| 6,791 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9250521e-05 |
| 7,220 | Deciding Properties of Transactional Schemas | 1986 | PODS | 4.7976464e-05 |
| 3,865 | Modeling Class Hierarchies with Contradictions | 1988 | SIGMOD | 6.6857218e-05 |
| 12,831 | Making Object-Oriented Schemas More Expressive | 1994 | PODS | 4.1945683e-05 |
| 3,533 | Extracting Concurrency from Objects: A Methodology | 1991 | SIGMOD | 7.0009039e-05 |
| 12,857 | Database Method Schemas and Object Creation | 1993 | PODS | 4.1945683e-05 |
| 5,100 | Methods and Rules | 1993 | SIGMOD | 5.6996909e-05 |