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 ...
    • A framework for defining and verifying clinical guidelines: a case study on cancer screening 

      Chesani, F; Mello, P; Montali, M; Storari, S; De Matteis, P (Springer, 2006)
      Medical guidelines are clinical behaviour recommendations used to help and support physicians in the definition of the most appropriate diagnosis and/or therapy within determinate clinical circumstances. Due to the intrinsic ...