Atsushi Ohori, Keishi Tajima  Home/Search
Context Related
| db.cs.kobeu.ac.jp/~t...pods94www.ps.gz masuda.is.s.utoky...ajimapods94.ps.gz db.cs.kobeu.ac.jp/pu...pods94www.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: db.cs.kobeu.ac.jp/~tajima/ (more) From: db.cs.kobeu.ac.jp/~tajima/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion specifications of objects from other classes. Each such specification consists of a predicate determining the subset of objects to be included and a viewing function under which those included objects are manipulated. Both predicates and viewing functions can be any type consistent programs definable in the polymorphic... (Update)
Cited by: More
Bidirectionalizing Tree Transformations - Zhenjiang Hu Kento (Correct)
An Algebraic Approach to Bi-Directional Updating - Mu, Hu, Takeichi (2004) (Correct)
A Language for Bidirectional Updating Based on Injective Mapping - Mu, Hu, Takeichi (Correct)
Similar documents (at the sentence level):
55.2%: A Polymorphic Calculus for Views and Object Sharing - Ohori, Tajima (1994) (Correct)
Active bibliography (related documents): More All
0.2: Polymorphism and Type Inference in Database Programming - Buneman, Ohori (1994) (Correct)
0.2: Perspectives for a Formal Framework for Schema Modification in.. - Gärtner (1997) (Correct)
0.2: Object Persistency, View Maintenance And Query Optimization.. - Simonet, Simonet (Correct)
Similar documents based on text: More All
0.5: Lenses and View Update Translation - Pierce, Schmitt (2003) (Correct)
0.4: An Equational Object-Oriented Data Model and its.. - Nishimura, Ohori, Tajima (1996) (Correct)
0.2: Parallel Functional Programming on Recursively Defined Data.. - Nishimura, Ohori (1993) (Correct)
Related documents from co-citation: More All
10: Properties and Update Semantics of Consistent Views (context) - Gottlob, Paolini et al. - 1988
9: the Correct Translation of Update Operations On the Relational View (context) - Dayal, Bernstein - 1983
8: A language for bi-directional tree transformations - Greenwald, Moore et al. - 2003
BibTeX entry: (Update)
Atsushi Ohori and Keishi Tajima. A polymorphic calculus for views and object sharing. In Proc. of ACM PODS, pages 255--266, May 1994. http://citeseer.ist.psu.edu/article/ohori94polymorphic.html More
@inproceedings{ ohoriview,
author = "Atsushi Ohori and Keishi Tajima",
title = "A Polymorphic Calculus for Views and Object Sharing",
pages = "255--266",
booktitle = ACM Symposium on Principles of Database Systems,
year = 1994,
month = may,
url = "citeseer.ist.psu.edu/article/ohori94polymorphic.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
492 Smalltalk-80: the language and its implementation (context) - Goldberg, Robson - 1983
413 Logical Foundations of Object-Oriented and FrameBased Langua.. - Kifer, Lausen et al. - 1990
298 The object-oriented database system manifesto - Atkinson, Bancilhon et al. - 1989
196 Objects and views - Abiteboul, Bonner - 1991
142 Updatable views in object-oriented databases - Scholl, Laasch et al. - 1991
107 Complete type inference for simple objects (context) - Wand - 1987
78 Aspects: extending objects to support multiple (context) - Richardson, Schwarz - 1991
76 An object data model with roles - Albano, Bergamini et al. - 1993
63 Database programming in Machiavelli -- a polymorphic languag.. - Ohori, Buneman et al. - 1989
59 Object Views: Extending the Vision (context) - Heiler, Zdonik - 1990
56 ML with extended pattern matching and subtypes - Jategaonkar, Mitchell - 1988
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992
55 interactive conceptual language (context) - Albano, Cardelli et al. - 1985
51 Updating relational databases through object-based views - Barsalou, Siambela et al. - 1991
43 Properties and Update Semantics of Consistent Views (context) - Gottlob, Paolini et al. - 1988
43 Methods and rules - Abiteboul, Lausen et al. - 1993
26 Typechecking records and variants in a natural extension of .. (context) - Remy - 1989
24 Schema virtualization in object-oriented databases (context) - Tanaka, Yoshikawa et al. - 1988
24 Polymorphism and type inference in database programming - Buneman, Ohori - 1992
22 Type inference in a database programming language (context) - Ohori, Buneman - 1988
20 Static type inference for parametric classes - Ohori, Buneman - 1989
14 A type system that reconcile classes and extents - Buneman, Ohori - 1991
12 FAD a powerful and simple database language (context) - Bancilhon, Briggs et al. - 1988
10 Existentially Quantified Types as a Database Viewing Mechani.. (context) - Connor, Dearle et al. - 1990
4 and Databases (context) - Wiederhold, Objects - 1986
2 Data structures and data types in objectoriented databases (context) - Breazu-Tannen, Buneman et al. - 1991
2 A study on an object-oriented database system supporting mul.. (context) - Tajima - 1993
2 Building an OODBMS (context) - Bancilhon, Delobel et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.db.cs.kobe-u.ac.jp/~tajima/): More
An Equational Object-Oriented Data Model and its.. - Nishimura, Ohori, Tajima (1996) (Correct)
Finding Context Paths for Web Pages - Mizuuchi, Tajima (1999) (Correct)
Querying Composite Objects in Semistructured Data - Tajima (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC