Critique of the Lake Arrowhead three (Q1193607)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 64905
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Critique of the Lake Arrowhead three |
scientific article; zbMATH DE number 64905 |
Statements
Critique of the Lake Arrowhead three (English)
0 references
27 September 1992
0 references
This critique compares the three specification methods presented in this issue, based on their solutions to the database serializability problem. The methods are compared on seven criteria. While neither complete nor disjoint, these criteria provide a convenient framework for the comparison. A single article cannot discuss all aspects of specification, and none of the papers provide a user's manual for a complete specification method. In pointing out omissions, my purpose is to elucidate what is and is not discussed, not to criticize the authors.
0 references
Lake Arrowhead Workshop
0 references
concurrency
0 references
verification
0 references
database serializability problem
0 references
specification
0 references
0.708920955657959
0 references
0.7075169682502747
0 references
0.6963212490081787
0 references
0.6854564547538757
0 references
0.6782019138336182
0 references
