2 search results - page 1 / 1 » Generation of All Counter-Examples for Push-Down Systems |
FORTE
2003
13 years 6 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
VLDB
1994
ACM
13 years 9 months ago
1994
ACM
In existing relational database systems, processing of group-by and computation of aggregate functions are always postponed until all joins are performed. In this paper, we presen...