Tolerating bounded inconsistency for increasing concurrency in database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Context-based synchronization: an approach beyond semantics for concurrency control
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
Semantic locking in object-oriented database systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Isolation of transaction aborts in object-oriented database systems
CIKM '94 Proceedings of the third international conference on Information and knowledge management
On computing serial dependency relations
Journal of Computer and System Sciences
Object orientation in multidatabase systems
ACM Computing Surveys (CSUR)
Perspectives on database theory
ACM SIGACT News
Recovery for transaction failures in object-based databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Bounded Inconsistency for Type-Specific Concurrency Control
Distributed and Parallel Databases
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Mechanisms for specifying communication behavior in object oriented database systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Real-time update of access control policies
Data & Knowledge Engineering
Applying Semantic Knowledge to Real-Time Update of Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
A lattice-based approach for updating access control policies in real-time
Information Systems
A model of independence and overlap for transactions on database schemata
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Hi-index | 0.00 |