LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 355-357 of 486

    • Concurrent and Reliable Updates of Distributed Databases 

      Takagi, Akihiro (1979-11)
      A concurrent execution of transactions and various failures occuring during transaction processing in a distributed database system can lead to an inconsistent database state. In order to prevent such inconsistency from ...

    • An Intermediate Form for Data Flow Programs 

      Leth, James William (1979-11)
      A data flow program, often represented as a data flow graph, is a program that expresses a computation by indicating the data dependencies among operators. A data flow computer is a machine designed to take advantage of ...

    • On Data Bases with Incomplete Information 

      Lipski, Witold, Jr. (1979-10)
      Semantic and logical problems arising in an incomplete information data base are investigated. A simple query language is described and its semantics is defined, which refers the queries to the information about reality ...