Towards a visually interpretable analysis of Two-Phase Locking membership

2025-01-12

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

• Planning, Routing, and Scheduling: Activity and Plan Recognition
• Constraint Satisfaction and Optimization: Distributed CSP/Optimization
• Data Mining & Knowledge Management: Representing, Reasoning, and Using Provenance, Trust

Application Category

• Security and Privacy: Data transparency and provenance
• Web Mining and Content Analysis: Web data visualization
• Graph Algorithms and Modeling for the Web: Efficient manipulation of static and dynamic Web-related graphs

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

• Automatic Table Generation
• Visualization
• Two-Phase Locking (2PL)

Innovation

• Two-Phase Locking
• Analytical Tool
• Visualization