Dataflow representation in a network database

Abstract

Solutions to the problem of consistency and correctness of duplicate database have been tackled by many authors such as in [Elli77], [Grap76], and [Mull71]. In a network system, each update may bring up a different kind of consistency and a new proof of correctness. Data integrity and security in a concurrent environment are a big headache for the system implementor. Issues related to security and social impacts on a network system are discussed in [Denn72]. This paper attempts to use a new method, Dataflow Language, to represent the interactions in a network environment, and in doing so, the paper, hopefully, points out the consistency, and correctness of the duplicate database.