2152 search results - page 26 / 431 » On Automating the Calculus of Relations |
105
click to vote
VLDB
1987
ACM
15 years 4 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...
105
click to vote
COSIT
2001
Springer
15 years 5 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...
82
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
113
click to vote
LICS
1993
IEEE
15 years 4 months 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...
80
Voted
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
