Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Author "Papadimitrou, Christos H."

Now showing items 1-2 of 2

    • Algebraic Dependencies 

      Yannakakis, Mihalis; Papadimitrou, Christos H. (1981-02)
      We propose a new kind of data dependencies called algebraic dependencies, which generalize all previous known kinds. We give a complete axiomatization of algebraic dependencies in terms of simple algebraic rewriting rules. ...

    • An Optimality Theory of Concurrency Control for Databases 

      Kung, Hsing-Tsung; Papadimitrou, Christos H. (1980-11)
      A concurrency control mechanism (or a scheduler) is the component of a database system that safeguards the consistency of the database in the presence of interleaved accesses and update requests. We formally show that the ...