Technology Category
Planning, Routing, and Scheduling: Activity and Plan RecognitionConstraint Satisfaction and Optimization: Distributed CSP/OptimizationData Mining & Knowledge Management: Representing, Reasoning, and Using Provenance, Trust
Towards a visually interpretable analysis of Two-Phase Locking membership
🤖 AI Summary
To address the challenge of intuitively verifying two-phase locking (2PL) compliance in database concurrency control, this paper introduces the first end-to-end visual analytics framework that automatically parses transaction schedules, formally verifies 2PL adherence, and generates traceable lock-timing tables and dependency graphs. Methodologically, it integrates formal verification, conflict graph modeling, and D3.js-powered interactive web visualization to enable real-time conformance checking, fine-grained lock lifecycle tracking, and highlighting of conflict paths. Evaluated on standard benchmark datasets, the framework achieves 100% accuracy in 2PL membership determination. Its core contribution is the first fully automated, interpretable, and verifiable visual diagnostic system for 2PL compliance—bridging the conceptual gap between concurrency theory and practical database engineering.
Technology Category
Application Category
📝 Abstract
Two-phase locking (2PL) is a consolidated policy commonly adopted by Database Management Systems to enforce serializability of a schedule. While the policy is well understood, both in its standard and in the strict version, automatically deriving a suitable tabular/graphical analysis of schedules with respect to 2PL is far from trivial, and requires several technicalities that do not straightforwardly translate to visual cues. In this paper, we delve into the details of the development of a tool for 2PL analysis.
Problem
Research questions and friction points this paper is trying to address.
Automatic Table Generation
Visualization
Two-Phase Locking (2PL)
Innovation
Methods, ideas, or system contributions that make the work stand out.
Two-Phase Locking
Analytical Tool
Visualization
🔎 Similar Papers
No similar papers found.
