Correctness and Parallelism in Composite Systems

Summary: Proposes stack conflict consistency, a correctness model for layered composite transactional systems that lifts prior assumptions restricting concurrency. Pinpoints conditions allowing safe intra-transaction and cross-transaction parallelism, enabling practical higher concurrency across subsystems. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1117
Venue: PODS
Year: 1997
Pagerank: 4.1905499e-05
Overall Rank: 12,767 | 11.27%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,697	Distributed Processing over Stand-alone Systems and Applications	1997	VLDB	5.9837323e-05
7,969	How can we support Grid Transactions? Towards Peer-to-Peer Transaction Processing*	2005	CIDR	4.6089395e-05
12,716	Concurrency Control and Recovery in Transactional Process Management	1999	PODS	4.1905499e-05
13,934	Correctness in General Configurations of Transactional Components	1999	PODS	-

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
1,144	Abstraction in Recovery Management	1986	SIGMOD	0.00013687982
2,630	Towards a Unified Theory of Concurrency Control and Recovery	1993	PODS	8.4168377e-05
3,308	MLR: A Recovery Method for Multi-level Systems	1992	SIGMOD	7.2384366e-05
5,616	The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Managers Using Atomic Commitment	1992	VLDB	5.4087328e-05
6,031	Intra-Transaction Parallelism in the Mapping of an Object Model to a Relational Multi-Processor System	1996	VLDB	5.2365238e-05
6,874	An Open Abstract-Object Storage System	1996	SIGMOD	4.8958076e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
8,867	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS	4.4278616e-05
4,919	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB	5.8263376e-05
1,597	A Theoretical Foundation Of Multi-Level Concurrency Control	1986	PODS	0.00011209984
2,630	Towards a Unified Theory of Concurrency Control and Recovery	1993	PODS	8.4168377e-05
12,693	On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (Extended Abstract)	2000	PODS	4.1905499e-05
12,716	Concurrency Control and Recovery in Transactional Process Management	1999	PODS	4.1905499e-05
8,945	On Correctness of Non-serializable Executions	1993	PODS	4.4229886e-05
1,753	Formal Model of Correctness Without Serializability	1988	SIGMOD	0.00010665163
13,021	A semantic approach to correctness of concurrent transaction executions	1985	PODS	4.1905499e-05
13,934	Correctness in General Configurations of Transactional Components	1999	PODS	-