Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery
Concurrency control in graph protocols by using edge locks
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Databases and Web 2.0 panel at VLDB 2007
ACM SIGMOD Record
Evaluating very large datalog queries on social networks
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
SoQL: A Language for Querying and Creating Data in Social Networks
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Concurrent atomic protocols for making and changing decisions in social networks
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
| Hi-index | 0.00 |
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation features in them. In a One-Way architecture, used, e.g., by Twitter, participants can publish status updates and send messages only to their followers. Based on this asymmetric model, we define network consistency, and consider the scenario in which participants make consistent decisions based on their friends' decisions, like in Facebook 'Events'. Independent changes in decisions may render the network inconsistent. We use protocols to coordinate such changes, so as to ensure consistency. We present methods for controlling concurrent execution of multiple protocol instances operating on the same participants. Unlike standard concurrency control, we use semantics, and are therefore able to provide consistency even in cases where the execution is not equivalent to any serial execution of individual protocol instances. The complexity of a closely related problem is characterized to be NP-Complete. Finally, we present a proof-of-concept implementation using Twitter's API, which runs protocols on real Twitter accounts.