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: 1035
Venue: PODS
Year: 1994
Pagerank: 5.093636e-05
Overall Rank: 13,026 | 10.63%
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
12,980	Static Detection of Security Flaws in Object-Oriented Databases	1996	SIGMOD	5.093636e-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
782	FAD, a Powerful and Simple Database Language	1987	VLDB	0.00014080876
1,145	Objects and Views	1991	SIGMOD	0.00011987662
2,248	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference	1989	SIGMOD	8.8703718e-05
2,645	Updating Relational Databases through Object-Based Views	1991	SIGMOD	8.303766e-05
2,963	Aspects: Extending Objects to Support Multiple, Independent Roles	1991	SIGMOD	7.9157744e-05
4,385	An Object Data Model with Roles	1993	VLDB	6.7321354e-05
5,734	Methods and Rules	1993	SIGMOD	6.105443e-05

Semantically Similar Papers

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