Entangled queries: enabling declarative data-driven coordination
@inproceedings{Gupta2011EntangledQE, title={Entangled queries: enabling declarative data-driven coordination}, author={Nitin Gupta and Lucja Kot and Sudip Roy and Gabriel Bender and Johannes Gehrke and Christoph E. Koch}, booktitle={SIGMOD '11}, year={2011} }
Many data-driven social and Web applications involve collaboration and coordination. The vision of declarative data-driven coordination (D3C), proposed in [9], is to support coordination in the spirit of data management: to make it data-centric and to specify it using convenient declarative languages. This paper introduces entangled queries, a language that extends SQL by constraints that allow for the coordinated choice of result tuples across queries originating from different users or…
3 Citations
Parallelizing Data-Centric Programs
- Computer Science
- 2013
A new high-performance parallel graph processing framework called GRACE is developed that allows simple and efficient coordination in a wide variety of realistic scenarios of parallel agents who need to communicate and coordinate to achieve a common goal.
Concurrency in Main-Memory Database Systems
- Computer Science
- 2014
This thesis determines the optimal mechanism for creating snapshots in main-memory systems which can be used to execute OLAP queries and introduces tentative execution, a mechanism which allows long-running transactions to be efficiently executed.
References
SHOWING 1-10 OF 14 REFERENCES
Beyond isolation: research opportunities in declarative data-driven coordination
- Computer ScienceSGMD
- 2010
It is argued that it is time for the database community to look beyond isolation towards principled and elegant abstractions that allow for communication and coordination between some notion of (suitably generalized) transactions.
Failure handling and coordinated execution of concurrent workflows
- Computer ScienceProceedings 14th International Conference on Data Engineering
- 1998
A workflow specification language is designed that expresses new requirements for workflow executions and a run-time system for managing workflow executions while satisfying the new requirements is implemented.
Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques
- Computer ScienceAAAI
- 1982
The principal restrictions previously placed on the relational data base model have been removed in the L2 model, presented here and it is extended to include null values, repetitions of tuples, functional dependencies, a very rich set of constraints and information originating from several sources.
Constraint Processing
- Computer ScienceLecture Notes in Computer Science
- 1995
Rina Dechter synthesizes three decades of researchers work on constraint processing in AI, databases and programming languages, operations research, management science, and applied mathematics to provide the first comprehensive examination of the theory that underlies constraint processing algorithms.
Transactional Memory
- Computer ScienceTransactional Memory
- 2006
This book presents an overview of the state of the art in the design and implementation of transactional memory systems, as of early summer 2006.
Advanced transaction models in workflow contexts
- Computer ScienceProceedings of the Twelfth International Conference on Data Engineering
- 1996
It is shown that, in many aspects, workflow models are a superset of transaction models and have the added advantage of incorporating a variety of ideas that have so far remained outside the scope of traditional transaction processing.
Active Database Systems: Triggers and Rules For Advanced Database Processing
- Computer Science
- 1994
This significant collection focuses on the most prominent research projects in active database systems, providing detailed discussions of their projects and the relevance of their results to the future of activedatabase systems.
Concurrent Haskell
- Computer SciencePOPL '96
- 1996
This work has developed a freely-available implementation of Concurrent Haskell, and is now using it as a substrate for a graphical user interface toolkit.
Concurrent programming in ML
- Computer Science
- 1999
This practical, "how-to" book focuses on the use of concurrency to implement naturally concurrent applications, and presents three extended examples using CML for practical systems programming.
Communicating and mobile systems - the Pi-calculus
- Computer Science
- 1999
Communicating Systems: Behaviour of automata and Observation equivalence: theory, examples, and Discussion and related work Bibliography Index.