Proceedings of the 1988 ACM Conference on LISP and Functional Programming 1988
DOI: 10.1145/62678.62700
|View full text |Cite
|
Sign up to set email alerts
|

Type inference in a database programming language

Abstract: We extend an ML-like implicit type system to include a number of structures and operations that are eommon in database programming including set.s, labeled records, joins and projections.We then show that the type inference problem of the system is decidable by extending the notion of principal type schemes to include conditions on substitutions.Combi.ned with Milner's polymorphic let constructor, our language also supports type inheritance.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
37
0

Year Published

1990
1990
2005
2005

Publication Types

Select...
4
3

Relationship

2
5

Authors

Journals

citations
Cited by 62 publications
(37 citation statements)
references
References 8 publications
0
37
0
Order By: Relevance
“…The semantics of relational algebra is the well-known one [1,2] and will actually not concern us in the present paper. The set of all relation variables occurring in expression e is denoted 4 Stijn Vansummeren by Relvars(e) and the set of all attributes occurring in e is denoted by…”
Section: Preliminariesmentioning
confidence: 99%
See 1 more Smart Citation
“…The semantics of relational algebra is the well-known one [1,2] and will actually not concern us in the present paper. The set of all relation variables occurring in expression e is denoted 4 Stijn Vansummeren by Relvars(e) and the set of all attributes occurring in e is denoted by…”
Section: Preliminariesmentioning
confidence: 99%
“…We only need to show NP-hardness of T (R Ω ∪,−, ,σ,π,ρ ), for which we modify a reduction invented by Ohori and Buneman [4]. The reduction is from MONOTONE 3SAT [3]: decide whether there is a satisfying truth assignment for a given 3CNF boolean formula φ whose clauses are either all variables (called a positive clause) or all negated variables (called a negative clause).…”
Section: Theoremmentioning
confidence: 99%
“…The system, however, does not share with ML the property of principal typing (see [OB88, Wan881 for the analysis of the problem and [JM88, Em891 for the refinement of the system.) Based on Wand's general observation, in [OB88] we developed a type inference method which overcomes the difficulty and extends the method to database operations. Instead of using row variables, we introduced syntactic conditions to control substitution of type variables.…”
Section: Type Inference and Polymorphism In Machiavellimentioning
confidence: 99%
“…The typing rule for join operation is associated -a complex condition which can no longer be represented by some kind. To give a type scheme for join, we need t o extend the notion of (kinded) typing schemes to conditional typing schemes [OB88] by adding syntactic conditions on instantiation of type variables. A similar problem was later observed in [Wan891 if one uses a record concatenation operation rather than join.…”
Section: Operat Ions For Generalized Relationsmentioning
confidence: 99%
See 1 more Smart Citation