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)

Paper ID: hebd9f915b4c07f5b
Venue: PODS
Year: 1990
Pagerank: 7.4808695e-05
Overall Rank: 3,264 | 78.06%
DOI: 10.1145/298514.298538

Incoming Non-self Citations Over Time

Authors

1. Serge Abiteboul (INRIA)
2. Paris C. Kanellakis (Altair; Brown University; INRIA)
3. Emmanuel Waller (INRIA)

BibTeX Citation

@inproceedings{abiteboul_pods90,
        address = {New York, NY, USA},
        series = {{PODS} '90},
        title = {{Method Schemas}},
        url = {https://dl.acm.org/doi/10.1145/298514.298538},
        doi = {10.1145/298514.298538},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Abiteboul, Serge and Kanellakis, Paris C. and Waller, Emmanuel},
        year = {1990}
}

Incoming Citations (Sorted by Pagerank)

Showing 9 of 9 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
5,040	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.3006733e-05
5,857	Methods and Rules	1993	SIGMOD	5.968474e-05
6,369	Activity Model: A Declarative Approach for Capturing Communication Behaviour in Object-Oriented Databases	1992	VLDB	5.8092399e-05
8,729	New Data Models and Languages - the Challenge	1992	PODS	5.2905577e-05
8,740	The Power of Methods With Parallel Semantics	1991	VLDB	5.2893082e-05
13,314	Object Migration	1994	PODS	4.9793485e-05
13,323	Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS	1994	VLDB	4.9793485e-05
13,340	Database Method Schemas and Object Creation	1993	PODS	4.9793485e-05
13,342	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	4.9793485e-05

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
366	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00019923978
615	Semantics and Implementation of Schema Evolution in Object-Oriented Databases	1987	SIGMOD	0.00015564615
874	Object-Oriented Database Systems	1988	PODS	0.00013331383
1,908	Automata Theory for Database Theoreticians	1989	PODS	9.3940283e-05
3,183	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions	1989	SIGMOD	7.5578905e-05
4,083	Type Systems for Querying Class Hierarchies with Non-strict Inheritance.	1989	PODS	6.8174846e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,323	Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS	1994	VLDB
2	2,825	Modeling Complex Structures in Object-Oriented Databases	1989	PODS
3	8,740	The Power of Methods With Parallel Semantics	1991	VLDB
4	7,053	Semantic Modeling of Object Oriented Databases	1991	VLDB
5	7,766	Deciding Properties of Transactional Schemas	1986	PODS
6	4,429	Modeling Class Hierarchies with Contradictions	1988	SIGMOD
7	13,315	Making Object-Oriented Schemas More Expressive	1994	PODS
8	3,852	Extracting Concurrency from Objects: A Methodology	1991	SIGMOD
9	13,340	Database Method Schemas and Object Creation	1993	PODS
10	5,857	Methods and Rules	1993	SIGMOD