Show simple item record

dc.contributor.authorZhang, Connieen 14:27:59 (GMT) 14:27:59 (GMT)
dc.description.abstractTransaction programs are comprised of read and write operations issued against the database. In a shared database system, one transaction program conflicts with another if it reads or writes data that another transaction program has written. This thesis presents a semi-automatic technique for pairwise static conflict analysis of embedded transaction programs. The analysis predicts whether a given pair of programs will conflict when executed against the database. There are several potential applications of this technique, the most obvious being transaction concurrency control in systems where it is not necessary to support arbitrary, dynamic queries and updates. By analyzing transactions in such systems before the transactions are run, it is possible to reduce or eliminate the need for locking or other dynamic concurrency control schemes.en
dc.format.extent370915 bytes
dc.publisherUniversity of Waterlooen
dc.rightsCopyright: 2000, Zhang, Connie. All rights reserved.en
dc.subjectComputer Scienceen
dc.subjecttransaction processingen
dc.subjecttransaction conflict analysisen
dc.titleStatic Conflict Analysis of Transaction Programsen
dc.typeMaster Thesisen
dc.pendingfalseen of Computer Scienceen
uws-etd.degreeMaster of Mathematicsen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages