1024 search results - page 2 / 205 » Value complete, column complete, predicate complete |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
APAL
2008
13 years 5 months ago
2008
RTA
1993
Springer
13 years 9 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
VLDB
2005
ACM
13 years 10 months ago
2005
ACM
Cost-based query optimizers need to estimate the selectivity of conjunctive predicates when comparing alternative query execution plans. To this end, advanced optimizers use multi...
ICFP
2004
ACM
14 years 4 months ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...