Transaction management in distributed heterogeneous database management systems
Information Systems
Toward a multilevel secure relational data model
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
Database transaction models for advanced applications
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Asserting beliefs in MLS relational models
ACM SIGMOD Record
Database Support for Workflow Management: The Wide Project
Database Support for Workflow Management: The Wide Project
Advanced Transaction Models in Workflow Contexts
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
A Multidatabase Transaction Model for InterBase
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Entity Modeling in the MLS Relational Model
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Querying a Multilevel Database: A Logical Analysis
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Decomposition of Multilevel Objects in an Object-Oriented Database
ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security
| Hi-index | 0.00 |
This paper describes the design of a model as well as an architecture to provide support for distributed advanced workflow transactions. We discuss the application of transaction concepts to activities that involve integrated execution of multiple tasks over different processes. This kind of applications are described as transactional workflows. The classical commit protocol, used in many commercial systems, is not suitable for use in multilevel secure distributed workflow database systems that use a locking protocol for concurrency control. We choose to develop formal framework for secure distributed workflow architecture since we are actively involved in building a prototype of such a system. We strive to develop a practical logical characterization of multilevel secure (MLS) distributed workflow for the first time using the inherently difficult concept of non-monotonic reasoning.