Now showing items 1-1 of 1

    • On specifying database updates 

      Reiter, Raymond (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
      Conference report
      Open Access
      We address the problem of formalizing the evolution of a database under the effect of an arbitrary sequence of update transactions. We do so by appealing to a first order representation language called the situation ...