Add to ORKGClassically, serializability theory does not deal with memory models. Rather, it assumes that transaction models and memory models are orthogonal. This is no longer true for database systems with explicit or implicit data replication. In this paper we present a specification formalism for transaction models along with a memory model. We specify serializability in this formalism and show its equivalence to classical conflict serializability, when restricted to sequential memory. But, our formalism is more general, since we can deal with memory models with data replication, too. A simple two-phase-locking protocol in combination with a weakly coherent memory manager illustrates the application of our formalism for modelling and verification o...
Many applications, such as e-commerce, routinely use copies of data that are not in sync with the da...
This paper presents a novel scheme for distributed data replication management systems to support di...
In this paper we show how we can generate models for the execution of database transactions. We desc...
In this paper we present a specification formalism for transaction models along with a memory model....
Modern distributed systems often rely on databases that achieve scalability by providing only weak g...
Modern distributed systems often rely on databases that achieve scalability by providing only weak g...
Database replication is a technique employed to enhance both performance and availability of databas...
AbstractIn a one-copy distributed database, each data item is stored at exactly one site of a distri...
The usual correctness condition for a schedule of concurrent database transactions is some form of s...
Serializability is the traditional consistency criterion when shared objects are accessed concurrent...
System availability is improved by the replication of data objects in a distributed database system....
“It always takes longer than you think even when you take Hofstadter’s Law into account.” Hofstadter...
On Transaction Liveness in Replicated Databases F.Pedone and R.Guerraoui This paper makes a first at...
Concurrent execution of database transactions i desirable from the point of view of speed, but may i...
We present here a transaction management protocol using snapshot isolation in partially replicat...
Many applications, such as e-commerce, routinely use copies of data that are not in sync with the da...
This paper presents a novel scheme for distributed data replication management systems to support di...
In this paper we show how we can generate models for the execution of database transactions. We desc...
In this paper we present a specification formalism for transaction models along with a memory model....
Modern distributed systems often rely on databases that achieve scalability by providing only weak g...
Modern distributed systems often rely on databases that achieve scalability by providing only weak g...
Database replication is a technique employed to enhance both performance and availability of databas...
AbstractIn a one-copy distributed database, each data item is stored at exactly one site of a distri...
The usual correctness condition for a schedule of concurrent database transactions is some form of s...
Serializability is the traditional consistency criterion when shared objects are accessed concurrent...
System availability is improved by the replication of data objects in a distributed database system....
“It always takes longer than you think even when you take Hofstadter’s Law into account.” Hofstadter...
On Transaction Liveness in Replicated Databases F.Pedone and R.Guerraoui This paper makes a first at...
Concurrent execution of database transactions i desirable from the point of view of speed, but may i...
We present here a transaction management protocol using snapshot isolation in partially replicat...
Many applications, such as e-commerce, routinely use copies of data that are not in sync with the da...
This paper presents a novel scheme for distributed data replication management systems to support di...
In this paper we show how we can generate models for the execution of database transactions. We desc...