2152 search results - page 26 / 431 » On Automating the Calculus of Relations |
VLDB
1987
ACM
13 years 12 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...
COSIT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
CSL
2005
Springer
14 years 2 months ago
2005
Springer
LICS
1993
IEEE
14 years 19 days ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
