2956 search results - page 1 / 592 » Databases and Higher Types |
108
Voted
CL
2000
Springer
15 years 10 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
181
click to vote
ADC
2008
Springer
15 years 12 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
182
Voted
FLOPS
1999
Springer
15 years 10 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
124
Voted
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
177
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...