A Polymorphic Calculus for Views and Object Sharing

Summary: Polymorphic calculus unifying views and object sharing via inclusion specs: predicate-selected subsets and viewing functions (both arbitrary polymorphic programs), allowing cyclic/mutually-recursive class views. Sound polymorphic type system with inference for static checking. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: hc7e2c5b4099038b0
Venue: PODS
Year: 1994
Pagerank: 4.9769913e-05
Overall Rank: 13,322 | 10.47%
DOI: 10.1145/182591.182623

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Atsushi Ohori (Kyoto University)
2. Keishi Tajima (University of Tokyo)

BibTeX Citation

@inproceedings{ohori_pods94,
        address = {New York, NY, USA},
        series = {{PODS} '94},
        title = {{A Polymorphic Calculus for Views and Object Sharing}},
        url = {https://dl.acm.org/doi/10.1145/182591.182623},
        doi = {10.1145/182591.182623},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Ohori, Atsushi and Tajima, Keishi},
        year = {1994}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
13,276	Static Detection of Security Flaws in Object-Oriented Databases	1996	SIGMOD	4.9769913e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
809	FAD, a Powerful and Simple Database Language	1987	VLDB	0.00013771533
1,165	Objects and Views	1991	SIGMOD	0.00011734796
2,306	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference	1989	SIGMOD	8.6673254e-05
2,700	Updating Relational Databases through Object-Based Views	1991	SIGMOD	8.1159657e-05
3,025	Aspects: Extending Objects to Support Multiple, Independent Roles	1991	SIGMOD	7.7355208e-05
4,464	An Object Data Model with Roles	1993	VLDB	6.5853744e-05
5,859	Methods and Rules	1993	SIGMOD	5.9656486e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,888	Towards an Effective Calculus for Object Query Languages	1995	SIGMOD
2	3,428	Relational Lenses: A Language for Updatable Views	2006	PODS
3	4,084	Type Systems for Querying Class Hierarchies with Non-strict Inheritance.	1989	PODS
4	9,887	Understanding the implications of view update policies	1985	VLDB
5	2,825	Modeling Complex Structures in Object-Oriented Databases	1989	PODS
6	2,700	Updating Relational Databases through Object-Based Views	1991	SIGMOD
7	10,073	Type inference in the polymorphic relational algebra	1999	PODS
8	4,709	MultiView: A Methodology for Supporting Multiple Views in Object-Oriented Databases	1992	VLDB
9	1,165	Objects and Views	1991	SIGMOD
10	2,306	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference	1989	SIGMOD