Peter Buneman, Atsushi Ohori  Home/Search
Context Related
Links: ACM DBLP | upenn.edu/pub/papers/dbr...tods94.ps.Z 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 Problem Downloading? From: upenn.edu/~db/langs/allpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The polymorphic type system of ML can be extended in two ways to make it the appropriate basis of a database programming language. The first is an extension to the language of types that captures the polymorphic nature of field selection; the second is a technique that generalizes relational operators to arbitrary data structures. The combination provides a statically typed language in which relational databases may be cleanly represented as typed structures. As in ML types are inferred,... (Update)
Context of citations to this paper: More
.... the first to introduce type inference in the context of database programming languages, in their work on the language Machiavelli [15, 14]. Machiavelli features polymorphic field selection from nested records, as well as a polymorphic join operator. However, the inference...
...where renaming would be necessary. Besides only covering the most common cases, it is notoriously hard to typecheck join expressions [3] and we haven t found a way to embed those typing rules within Haskell. However, why not use the same approach as SQL We will introduce a...
Cited by: More
Web Programming with SMLserver - Elsman, Hallenberg (2003) (Correct)
Semantic optimization of OQL queries - Trigoni (2002) (Correct)
Inferring the Principal Type and the Schema Requirements of.. - Trigoni, Bierman (2001) (Correct)
Similar documents (at the sentence level):
30.3%: Polymorphism and Type Inference in Database Programming - Buneman, Ohori (Correct)
Active bibliography (related documents): More All
1.1: Static Type Inference for Parametric Classes - Ohori (1989) (Correct)
0.8: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.5: Semantics for Communication Primitives in a Polymorphic Language - Ohori, Kato (1993) (Correct)
Similar documents based on text: More All
0.3: A Type System that Reconciles Classes and Extents - Buneman, Ohori (Correct)
0.2: A Compilation Method for ML-Style Polymorphic Record Calculi - Ohori (1992) (Correct)
0.2: Using Powerdomains to Generalize Relational Databases - Buneman, Jung, Ohori (1991) (Correct)
Related documents from co-citation: More All
9: A theory of type polymorphism in programming (context) - Milner - 1978
8: Database programming in Machiavelli: A polymorphic language with static type inf.. - Ohori, Buneman et al. - 1989
7: A query language and optimization techniques for unstructured data - Buneman, Davidson et al. - 1996
BibTeX entry: (Update)
P. Buneman and A. Ohori. Polymorphism and Type Inference in Database Programming, ACM Transactions on Database Systems, to appear. http://citeseer.ist.psu.edu/buneman94polymorphism.html More
@article{ buneman96polymorphism,
author = "Peter Buneman and Atsushi Ohori",
title = "Polymorphism and Type Inference in Database Programming",
journal = "ACM Transactions on Database Systems",
volume = "21",
number = "1",
pages = "30--76",
year = "1996",
url = "citeseer.ist.psu.edu/buneman94polymorphism.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
1002 programming language (context) - Stroustrup - 1987
809 A theory of type polymorphism in programming (context) - Milner - 1978
634 A Machine-oriented Logic Based on the Resolution Principle (context) - Robinson - 1965
388 On understanding types (context) - Cardelli, Wegner - 1985
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982 DBLP
325 Towards a theory of type structure (context) - Reynolds - 1974 ACM DBLP
315 Dynamic typing in a statically-typed language - Abadi, Cardelli et al. - 1991 ACM DBLP
298 The objectoriented database system manifesto - Atkinson, Bancilhon et al. - 1989
258 Miranda: A non-strict functional language with polymorphic t.. (context) - Turner - 1985
196 Objects and views - Abiteboul, Bonner - 1991 ACM DBLP
193 An approach to persistent programming (context) - Atkinson, Bailey et al. - 1983 ACM DBLP
178 Standard ml of new jersey - Appel, MacQueen - 1991 DBLP
160 The principal type-scheme of an object in combinatory logic (context) - Hindley - 1969
152 The Design of Postgres - Stonebraker, Rowe - 1986 ACM DBLP
139 Semantic database modeling: Survey (context) - Hull, King - 1987
139 Type systems for programming languages (context) - Mitchell - 1990
134 Object and file management in the EXODUS extensible database.. (context) - Carey, DeWitt et al. - 1986 ACM DBLP
121 Types and persistence in database programming languages (context) - Atkinson, Buneman - 1987 ACM DBLP
114 Fundamental properties of infinite trees (context) - Courcelle - 1983
107 Complete type inference for simple objects (context) - Wand - 1987
106 Naturally Embedded Query Languages (context) - Breazu-Tannen, Buneman et al. - 1992 ACM DBLP
101 Incomplete information in relational databases (context) - Imielinski, Lipski - 1984 ACM DBLP
91 Making smalltalk a database system (context) - Copeland, Maier - 1984 ACM DBLP
90 Structural Recursion as a Query Language - Breazu-Tannen, Buneman et al. - 1991 ACM DBLP
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
71 Operations on records - Cardelli, Mitchell - 1989 ACM DBLP
63 Database Programming in Machiavelli: a Polymorphic Language .. - Ohori, Buneman et al. - 1989
59 A compiler for lazy ML (context) - Augustsson - 1984 ACM DBLP
59 Logical and Computational Aspects of Programming with Sets/B.. (context) - Breazu-Tannen, Subrahmanyam - 1991 ACM DBLP
59 Using powerdomains to generalize relational databases - Buneman, Jung et al. - 1991 ACM DBLP
57 A record calculus based on symmetric concatenation - Harper, Pierce - 1991 ACM DBLP
56 ML with extended pattern matching and subtypes - Jategaonkar, Mitchell - 1988 ACM DBLP
55 interactive conceptual language (context) - Albano, Cardelli et al. - 1985
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992 ACM DBLP
48 Some High Level Language Constructs for Data of Type Relatio.. (context) - Schmidt - 1977 ACM DBLP
48 On semantic issues connected with incomplete information dat.. (context) - Lipski - 1979 ACM DBLP
46 Complete sets of transformations for general E-unification (context) - Gallier, Snyder - 1989 DBLP
45 a powerful and simple database language (context) - Bancilhon, Briggs et al. - 1988
42 Database relation with null values - Zaniolo - 1984
38 de l'interpretation de godel `a l'analyse, et son applicatio.. (context) - Girard - 1971
27 The Expressiveness of a Family of Finite Set Languages - Immerman, Patnaik et al. - 1991 ACM DBLP
26 Typechecking records and variants in a natural extension of .. (context) - Remy - 1989 DBLP
23 Semantics of types for database objects (context) - Ohori - 1990 ACM DBLP
22 Type inference in a database programming language (context) - Ohori, Buneman - 1988 ACM DBLP
22 Corrigendum : Complete type inference for simple object (context) - Wand - 1988
20 Static type inference for parametric classes - Ohori, Buneman - 1989
14 A Type System that Reconciles Classes and Extents - Buneman, Ohori - 1991 ACM
13 Towards a Theory of Bulk Types - Watt, Trinder - 1991
12 A simple semantics for ML polymorphism (context) - Ohori - 1989 ACM DBLP
11 A formal approach to null values in database relations (context) - Biskup - 1981 DBLP
7 Type inference for records concatenation and simple objects (context) - Wand - 1989
6 Persistent and shared objects in Trellis/Owl (context) - O'Brien, Bullis et al. - 1986
6 Can object-oriented databases be statically typed (context) - Breazu-Tannen, Buneman et al. - 1989
5 Object Design Inc (context) - Manual
4 Department of Computational Science (context) - Morrison, Brown et al. - 1989
3 Report on programming language Haskel a non-strict (context) - Hudak, Jones et al. - 1992
2 Note in Standard ML of New Jersey Distribution Package (context) - MacQueen, weak - 1988
2 Semantics and Languages for Databases and Object-oriented Pr.. (context) - Ohori, of - 1989
1 Comprehending Monads ACM Conference on Lisp and Functional P.. (context) - Wadler - 1991
1 Elements of Discourse Understanding (context) - Appropriate, inappropriate - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~db/langs/allpapers.html): More
Interaction between Path and Type Constraints - Buneman, Fan, Weinstein (1998) (Correct)
Conservativity of Nested Relational Calculi with Internal.. - Libkin, Wong (1994) (Correct)
Queries on Databases with User-Defined Functions - Suciu (1993) (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