Ιδρυματικό Αποθετήριο [SANDBOX]
Πολυτεχνείο Κρήτης
EN  |  EL

Αναζήτηση

Πλοήγηση

Ο Χώρος μου

Distributed query monitoring through convex analysis: towards composable safe zones

Garofalakis Minos, Samoladas Vasilis

Απλή Εγγραφή


URIhttp://purl.tuc.gr/dl/dias/D2084A51-F673-469B-BFF1-657F14BF7E8C-
Αναγνωριστικόhttp://drops.dagstuhl.de/opus/volltexte/2017/7066/-
Αναγνωριστικόhttps://doi.org/10.4230/LIPIcs.ICDT.2017.14-
Γλώσσαen-
ΤίτλοςDistributed query monitoring through convex analysis: towards composable safe zonesen
ΔημιουργόςGarofalakis Minosen
ΔημιουργόςΓαροφαλακης Μινωςel
ΔημιουργόςSamoladas Vasilisen
ΔημιουργόςΣαμολαδας Βασιληςel
ΕκδότηςSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishingen
ΠερίληψηContinuous tracking of complex data analytics queries over high-speed distributed streams is becoming increasingly important. Query tracking can be reduced to continuous monitoring of a condition over the global stream. Communication-efficient monitoring relies on locally processing stream data at the sites where it is generated, by deriving site-local conditions which collectively guarantee the global condition. Recently proposed geometric techniques offer a generic approach for splitting an arbitrary global condition into local geometric monitoring constraints (known as "Safe Zones"); still, their application to various problem domains has so far been based on heuristics and lacking a principled, compositional methodology. In this paper, we present the first known formal results on the difficult problem of effective Safe Zone (SZ) design for complex query monitoring over distributed streams. Exploiting tools from convex analysis, our approach relies on an algebraic representation of SZs which allows us to: (1) Formally define the notion of a "good" SZ for distributed monitoring problems; and, most importantly, (2) Tackle and solve the important problem of systematically composing SZs for monitored conditions expressed as Boolean formulas over simpler conditions (for which SZs are known); furthermore, we prove that, under broad assumptions, the composed SZ is good if the component SZs are good. Our results are, therefore, a first step towards a principled compositional solution to SZ design for distributed query monitoring. Finally, we discuss a number of important applications for our SZ design algorithms, also demonstrating how earlier geometric techniques can be seen as special cases of our framework.en
ΤύποςΠλήρης Δημοσίευση σε Συνέδριοel
ΤύποςConference Full Paperen
Άδεια Χρήσηςhttp://creativecommons.org/licenses/by/4.0/en
Ημερομηνία2018-06-04-
Ημερομηνία Δημοσίευσης2017-
Θεματική ΚατηγορίαDistributed data streamsen
Θεματική ΚατηγορίαGeometric methoden
Βιβλιογραφική ΑναφοράM. Garofalakis and V. Samoladas, "Distributed query monitoring through convex analysis: Towards composable safe zones," in 20th International Conference on Database Theory, 2017. doi: 10.4230/LIPIcs.ICDT.2017.14en

Υπηρεσίες

Στατιστικά