Towards a unified theory of concurrency control and recovery
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
A lock method for KBMSs using abstraction relationships' semantics
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation
Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation
Locks with constrained sharing (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The serializability of concurrent database updates
Journal of the ACM (JACM)
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
A Theory of Safe Locking Policies in Database Systems
Journal of the ACM (JACM)
Locking Protocols: From Exclusive to Shared Locks
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
A Dynamic Tree-Locking Protocol
Proceedings of the Second International Conference on Data Engineering
Perspectives on database theory
ACM SIGACT News
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Lightweight multigranularity locking for transaction management in XML database systems
Journal of Systems and Software
Sequential verification of serializability
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic fine-grain locking using shape properties
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Static lock capabilities for deadlock freedom
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Hi-index | 0.00 |