Consistency and Orderability: Semantics-Based Correctness Criteria for Databases | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1993

Ключевые слова:

доказательство

правильность

абстрактный

модель данных

транзакция

параллелизм

Стр.:

P.460-486.

Библиография:

Bibliogr.: p.484-486.

Источник:

ACM Trans. Database Systems

Номер:

3

Том:

18

Карточка:

Б5.11, Б5.33, Б5.21.

Agrawal D., El Abbadi A., Singh A. K..

Consistency and Orderability: Semantics-Based Correctness Criteria for Databases// ACM Trans. Database Systems-1993, №3.-Vol. 18.-P.460-486.
Bibliogr.: p.484-486.

Таблица в старой библиотеке:

ACM3 136