Now showing items 1-2 of 2

    • Containment of aggregate queries 

      Cohen, S; Nutt, W; Sagiv, Y (Springer, 2003)
      The problem of deciding containment of aggregate queries is investigated. Containment is reduced to equivalence for queries with expandable aggregation functions. Many common aggregation functions, such as max, cntd (count ...
    • Monitoring in the Healthcare Setting 

      Chesani F; Enright CG; Montali M; Madden MG (Springer, 2015)
      Monitoring is an activity in which a running system is observed, so as to become aware of its state. The fact that the system is observed makes monitoring complementary to approaches like formal verification and validation, ...