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,309 | Activity Model: A Declarative Approach for Capturing Communication Behaviour in Object-Oriented Databases | 1992 | VLDB | 6.2824978e-05 |
| 4,335 | LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance | 1991 | SIGMOD | 6.2729533e-05 |
| 5,099 | Methods and Rules | 1993 | SIGMOD | 5.6942143e-05 |
| 8,173 | The Power of Methods With Parallel Semantics | 1991 | VLDB | 4.5640563e-05 |
| 8,324 | New Data Models and Languages - the Challenge | 1992 | PODS | 4.5392079e-05 |
| 12,839 | Object Migration | 1994 | PODS | 4.1905499e-05 |
| 12,849 | Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS | 1994 | VLDB | 4.1905499e-05 |
| 12,866 | Database Method Schemas and Object Creation | 1993 | PODS | 4.1905499e-05 |
| 12,868 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD | 4.1905499e-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 |
|---|---|---|---|---|
| 353 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026275228 |
| 452 | Semantics and Implementation of Schema Evolution in Object-Oriented Databases | 1987 | SIGMOD | 0.00022802499 |
| 720 | Object-Oriented Database Systems | 1988 | PODS | 0.00017531889 |
| 1,687 | Automata Theory for Database Theoreticians | 1989 | PODS | 0.0001090256 |
| 3,195 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD | 7.4052272e-05 |
| 3,865 | Type Systems for Querying Class Hierarchies with Non-strict Inheritance. | 1989 | PODS | 6.6809234e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,849 | Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS | 1994 | VLDB | 4.1905499e-05 |
| 2,775 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS | 8.139455e-05 |
| 8,173 | The Power of Methods With Parallel Semantics | 1991 | VLDB | 4.5640563e-05 |
| 6,792 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9203196e-05 |
| 7,219 | Deciding Properties of Transactional Schemas | 1986 | PODS | 4.7930382e-05 |
| 3,847 | Modeling Class Hierarchies with Contradictions | 1988 | SIGMOD | 6.700212e-05 |
| 12,840 | Making Object-Oriented Schemas More Expressive | 1994 | PODS | 4.1905499e-05 |
| 3,464 | Extracting Concurrency from Objects: A Methodology | 1991 | SIGMOD | 7.0672222e-05 |
| 12,866 | Database Method Schemas and Object Creation | 1993 | PODS | 4.1905499e-05 |
| 5,099 | Methods and Rules | 1993 | SIGMOD | 5.6942143e-05 |