Sciweavers

7555 search results - page 2 / 1511
» The Type System of DBPL
Sort
View
DBPL
1987
Springer
113views Database» more  DBPL 1987»
13 years 9 months ago
Orderings and Types in Databases
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...
Atsushi Ohori
DBPL
1991
Springer
76views Database» more  DBPL 1991»
13 years 9 months ago
A Functional DBPL Revealing High Level Optimizations
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
Martin Erwig, Udo W. Lipeck
DBPL
1999
Springer
102views Database» more  DBPL 1999»
13 years 10 months ago
Union Types for Semistructured Data
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
Peter Buneman, Benjamin C. Pierce
DBPL
1993
Springer
125views Database» more  DBPL 1993»
13 years 10 months ago
Octopus: A Reflective Language Mechanism for Object Manipulation
A class of database programs exist which are required to operate over an infinite number of types; included in this class are object browsers and query tools. The types over which...
Alex Farkas, Alan Dearle
DBPL
1991
Springer
98views Database» more  DBPL 1991»
13 years 9 months ago
Structural Recursion as a Query Language
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
Val Tannen, Peter Buneman, Shamim A. Naqvi