Results 151 to 158 of about 4,695 (158)
Some of the next articles are maybe not open access.
Serializability Preserving Extensions of Concurrency Control Protocols
2000The verification system PVS is used to obtain mechanized support for the formal specification and verification of concurrency control protocols, concentrating on database applications. A method to verify conflict serializability has been formulated in PVS and proved to be sound and complete with the interactive proof checker of this tool.
Chkliaev, D. +2 more
openaire +4 more sources
Operation serializability for embedded systems
Proceedings ED&TC European Design and Test Conference, 2002We consider the problem of generation of embedded software from input system descriptions in a hardware description language (HDL). Generation of software for embedded computing requires a total ordering of operations, or linearization, under constraints to ensure timely interaction with other system components.
openaire +2 more sources
Making Consistency Protocols Serializable
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019A tutorial given at PODS 2019, focussed on several research agendas in the past decade or so, that examine weak isolation levels, and obtain many (or all) of the benefits for application integrity, traditionally achieved by serializable concurrency control. The tutorial presents both the mechanisms and the reasoning approaches from these research works.
openaire +2 more sources
A simple characterization of database serializability
1985An interleaved execution of transactions in a database system is serializable if the effect of the execution is equivalent to that of some serial execution of the transactions. We give a simple and intuitive characterization of serializability that brings out the inherent problem of serialization explicitly.
openaire +2 more sources