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.1945683e-05
Overall Rank: 12,758 | 11.25%
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,702	Distributed Processing over Stand-alone Systems and Applications	1997	VLDB	5.9865314e-05
7,966	How can we support Grid Transactions? Towards Peer-to-Peer Transaction Processing*	2005	CIDR	4.613363e-05
12,707	Concurrency Control and Recovery in Transactional Process Management	1999	PODS	4.1945683e-05
13,920	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,148	Abstraction in Recovery Management	1986	SIGMOD	0.00013660928
2,710	Towards a Unified Theory of Concurrency Control and Recovery	1993	PODS	8.2504476e-05
3,344	MLR: A Recovery Method for Multi-level Systems	1992	SIGMOD	7.1966787e-05
5,606	The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Managers Using Atomic Commitment	1992	VLDB	5.4138312e-05
6,027	Intra-Transaction Parallelism in the Mapping of an Object Model to a Relational Multi-Processor System	1996	VLDB	5.2415551e-05
6,869	An Open Abstract-Object Storage System	1996	SIGMOD	4.9005143e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
7,272	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS	4.7811016e-05
4,912	Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications	1990	VLDB	5.8321169e-05
1,589	A Theoretical Foundation Of Multi-Level Concurrency Control	1986	PODS	0.00011238248
2,710	Towards a Unified Theory of Concurrency Control and Recovery	1993	PODS	8.2504476e-05
12,684	On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (Extended Abstract)	2000	PODS	4.1945683e-05
12,707	Concurrency Control and Recovery in Transactional Process Management	1999	PODS	4.1945683e-05
8,941	On Correctness of Non-serializable Executions	1993	PODS	4.427232e-05
1,753	Formal Model of Correctness Without Serializability	1988	SIGMOD	0.00010673887
13,010	A semantic approach to correctness of concurrent transaction executions	1985	PODS	4.1945683e-05
13,920	Correctness in General Configurations of Transactional Components	1999	PODS	-