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: 884
Venue: PODS
Year: 1990
Pagerank: 7.6525725e-05
Overall Rank: 3,191 | 78.11%
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
4,919	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.4452856e-05
5,734	Methods and Rules	1993	SIGMOD	6.105443e-05
6,240	Activity Model: A Declarative Approach for Capturing Communication Behaviour in Object-Oriented Databases	1992	VLDB	5.9425753e-05
8,562	New Data Models and Languages - the Challenge	1992	PODS	5.4119882e-05
8,569	The Power of Methods With Parallel Semantics	1991	VLDB	5.4107086e-05
13,024	Object Migration	1994	PODS	5.093636e-05
13,033	Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS	1994	VLDB	5.093636e-05
13,050	Database Method Schemas and Object Creation	1993	PODS	5.093636e-05
13,052	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	5.093636e-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
355	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00020351749
599	Semantics and Implementation of Schema Evolution in Object-Oriented Databases	1987	SIGMOD	0.00015910762
849	Object-Oriented Database Systems	1988	PODS	0.00013620915
1,856	Automata Theory for Database Theoreticians	1989	PODS	9.6053834e-05
3,128	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions	1989	SIGMOD	7.7292081e-05
3,986	Type Systems for Querying Class Hierarchies with Non-strict Inheritance.	1989	PODS	6.9736679e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,033	Supporting Exceptions to Behavioral Schema Consistency to Ease Schema Evolution in OODBMS	1994	VLDB
2	2,768	Modeling Complex Structures in Object-Oriented Databases	1989	PODS
3	8,569	The Power of Methods With Parallel Semantics	1991	VLDB
4	6,911	Semantic Modeling of Object Oriented Databases	1991	VLDB
5	7,615	Deciding Properties of Transactional Schemas	1986	PODS
6	4,342	Modeling Class Hierarchies with Contradictions	1988	SIGMOD
7	13,025	Making Object-Oriented Schemas More Expressive	1994	PODS
8	3,775	Extracting Concurrency from Objects: A Methodology	1991	SIGMOD
9	13,050	Database Method Schemas and Object Creation	1993	PODS
10	5,734	Methods and Rules	1993	SIGMOD