Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
Database transaction models for advanced applications
Database transaction models for advanced applications
Acta, a framework for modeling and reasoning
Acta, a framework for modeling and reasoning
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Specification and execution of transactional workflows
Modern database systems
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Flexible Transaction Dependencies in Database Systems
Distributed and Parallel Databases
Database Systems: The Complete Book
Database Systems: The Complete Book
Web Services and Business Transactions
World Wide Web
Using Flexible Transactions to Support Multi-System Telecommunication Applications
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Execution Model for Multilevel Seccure Workflows
Proceedings of the IFIP TC11 WG11.3 Eleventh International Conference on Database Securty XI: Status and Prospects
Verification of Vortex Workflows
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
A transaction manager component supporting extended transaction models
A transaction manager component supporting extended transaction models
Fundamentals of Database Systems, Fourth Edition
Fundamentals of Database Systems, Fourth Edition
Detection for Conflicts of Dependencies in Advanced Transaction Models
IDEAS '05 Proceedings of the 9th International Database Engineering & Application Symposium
Log-based transactional workflow mining
Distributed and Parallel Databases
Hi-index | 0.00 |
Transactional dependencies play an important role in coordinating and executing the subtransactions in advanced transaction processing models, such as, nested transactions and workflow transactions. Researchers have formalized the notion of transactional dependencies and have shown how various advanced transaction models can be expressed using different kinds of dependencies. Incorrect specification of dependencies can result in unpredictable behavior of the advanced transaction, which, in turn, can lead to unavailability of resources and information integrity problems. In this work, we focus on how to correctly specify dependencies in an advanced transaction. We enumerate the different kinds of dependencies that may be present in an advanced transaction and classify them into two broad categories: event ordering and event enforcement dependencies. Different event ordering and event enforcement dependencies in an advanced transaction often interact in subtle ways resulting in conflicts and redundancies. We describe the different types of conflicts that can arise due to the presence of multiple dependencies and describe how one can detect such conflicts. An advanced transaction may also contain redundant dependencies--these are dependencies that can be logically derived from other dependencies. We show how such extraneous dependencies can be eliminated to get an equivalent set of dependencies that has the same effect as the original set. Our dependency analysis is done in the context of a generalized advanced transaction model that is capable of expressing different kinds of advanced transactions.