3319 search results - page 14 / 664 » Type Theoretical Databases |
SIGMOD
1989
ACM
15 years 1 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
76
Voted
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
CIE
2006
Springer
15 years 1 months ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
CHOROCHRONOS
2003
Springer
15 years 2 months ago
2003
Springer
DBPL
1987
Springer
15 years 1 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...