Peter Buneman, Atsushi Ohori  Home/Search
Context Related
Links: ACM | jaist.ac.jp/~ohori/bune91dbpl.ps 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: jaist.ac.jp/~ohori/list (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a type system that naturally couples two di erent, and apparently contradictory, notions of inheritance that occur in object-oriented databases. To do this we distinguish between the type and a kind of a value. A type describes the entire structure of a value, while a kind describes only the availability of certain elds or methods. This distinction allows us to manipulate heterogeneous collections (collections of values with di ering types) in a statically type-checked language. ... (Update)
Context of citations to this paper: More
...of an object and to re cast those objects on the basis of this information. A solution to this problem was described by the authors in [BO91] The approach decribed here fits uniformly with the techniques developed in the preceding sections. 5.1 Dynamic and partial values...
...the clearly separated, 3 level view of an object that we do (type, semantics, and implementation; see Section 3. 1) Buneman and Ohori (see [8]) exhibits a similar philosophy, though, in its distinction between a kind and a type. C [28] has a notion of const that is similar...
Cited by: More
Querying an Object-Oriented Database Using CPL - Davidson, Hara, Popa (1997) (Correct)
A Polymorphic Calculus for Views and Object Sharing - Ohori, Tajima (1994) (Correct)
The AQUA Data Model and Algebra - Leung, Mitchell, Subramanian, Vance, .. (1993) (Correct)
Similar documents (at the sentence level):
58.2%: A Type System that Reconciles Classes and Extents - Buneman, Ohori (1991) (Correct)
6.2%: Polymorphism and Type Inference in Database Programming - Buneman, Ohori (1994) (Correct)
Active bibliography (related documents): More All
0.1: Database Programming in Machiavelli - a Polymorphic.. - Ohori, Buneman.. (1992) (Correct)
0.1: Design and Implementation of an Object-Oriented View Mechanism - Santos (1995) (Correct)
0.1: Types and Polymorphism in Persistent Programming Systems - Connor (1990) (Correct)
Similar documents based on text: More All
0.3: An Approach to Multilanguage Persistent Type System - Kato, Ohori (1992) (Correct)
0.2: Static Type Inference for Parametric Classes - Ohori (1989) (Correct)
0.2: Semantics for Communication Primitives in a Polymorphic Language - Ohori, Kato (1993) (Correct)
Related documents from co-citation: More All
7: Structural Recursion as a Query Language - Breazu-Tannen, Buneman et al. - 1991
7: A theory of type polymorphism in programming (context) - Milner - 1978
6: The Object Database Standard: ODMG (context) - Cattell - 1993
BibTeX entry: (Update)
Peter Buneman and Atsushi Ohori. A type system that reconciles classes and extents. In Kanellakis and Schmidt [18], pages 191--202. http://citeseer.ist.psu.edu/419441.html More
@misc{ buneman-type,
author = "P. Buneman and A. Ohori",
title = "A type system that reconciles classes and extents",
text = "Peter Buneman and Atsushi Ohori. A type system that reconciles classes
and extents. In Kanellakis and Schmidt [18], pages 191--202.",
url = "citeseer.ist.psu.edu/419441.html" }
Citations (may not include all citations):1002 Programming Language (context) - Stroustrup - 1986
809 A theory of type polymorphism in programming (context) - Milner - 1978
160 The principal type-scheme of an object in combinatory logic (context) - Hindley - 1969
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
63 Database programming in Machiavelli { a polymorphic language.. - Ohori, Buneman et al. - 1989
53 Digital Equipment Corporation (context) - Cardelli, Technical et al.
45 a powerful and simple database language (context) - Bancilhon, Briggs et al. - 1988
39 Logical and computational aspects of programming with lists/.. - Breazu-Tannen, Subrahmanyam - 1991
22 Type inference in a database programming language (context) - Ohori, Buneman - 1988 ACM DBLP
9 LFCS Report Series ECS-LFCS (context) - Harper, Milner et al. - 1988
8 Extending ML polymorphism to record structure (context) - Ohori - 1990
6 Models of Inheritance (context) - Wegner, Zdonik - 1989 ACM DBLP
2 Naqvi Structural Recursion as a Query Language (context) - Tannen, Buneman
1 Technical Memorandum UCB/ERL M (context) - Stonebraker, Rowe et al. - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.jaist.ac.jp/~ohori/list.html): More
An Equational Object-Oriented Data Model and its.. - Nishimura, Ohori, Tajima (1996) (Correct)
Proof-Directed De-compilation of Low-Level Code - Katsumata, Ohori (2001) (Correct)
A Curry-Howard Isomorphism for Compilation and Program Execution.. - Ohori (1999) (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