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… 

Figures from this paper

Parallelizing Data-Centric Programs
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
  • R. Dechter
  • Computer Science
    Lecture Notes in Computer Science
  • 1995
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
Communicating Systems: Behaviour of automata and Observation equivalence: theory, examples, and Discussion and related work Bibliography Index.
...
1
2
...