Alin Deutsch
YOU?
Author Swipe
View article: Chasing Parallelism in Aggregating Graph Queries
Chasing Parallelism in Aggregating Graph Queries Open
In practice, one frequently encounters queries that extract tabular results from graph databases by employing grouping and aggregation. This paper introduces a technique for rewriting the group-by list of graph queries in order to increase…
View article: The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space
The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space Open
Graph data management is instrumental for several use cases such as recommendation, root cause analysis, financial fraud detection, and enterprise knowledge representation. Efficiently supporting these use cases yields a number of unique r…
View article: Graph Pattern Matching in GQL and SQL/PGQ
Graph Pattern Matching in GQL and SQL/PGQ Open
As graph databases become widespread, JTC1 -- the committee in joint charge of information technology standards for the International Organization for Standardization (ISO), and International Electrotechnical Commission (IEC) -- has approv…
View article: HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries
HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries Open
International audience
View article: HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries (Extended Version)
HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries (Extended Version) Open
Hybrid complex analytics workloads typically include (i) data management tasks (joins, selections, etc. ), easily expressed using relational algebra (RA)-based languages, and (ii) complex analytics tasks (regressions, matrix decompositions…
View article: ESTOCADA
ESTOCADA Open
Big data applications increasingly involve diverse datasets, conforming to different data models. Such datasets are routinely hosted in heterogeneous stores, each capable of handling one or a few data models, and each efficient for some, b…
View article: Aggregation Support for Modern Graph Analytics in TigerGraph
Aggregation Support for Modern Graph Analytics in TigerGraph Open
We describe how GSQL, TigerGraph's graph query language, supports the specification of aggregation in graph analytics. GSQL makes several unique design decisions with respect to both the expressive power and the evaluation complexity of th…
View article: Towards Scalable Hybrid Stores
Towards Scalable Hybrid Stores Open
Big data applications routinely involve diverse datasets: relations flat or nested, complex-structure graphs, documents, poorly structured logs, or even text data. To handle the data, application designers usually rely on several data stor…
View article: Verification of Hierarchical Artifact Systems
Verification of Hierarchical Artifact Systems Open
Data-driven workflows, of which IBM’s Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static …
View article: TigerGraph: A Native MPP Graph Database
TigerGraph: A Native MPP Graph Database Open
We present TigerGraph, a graph database system built from the ground up to support massively parallel computation of queries and analytics. TigerGraph's high-level query language, GSQL, is designed for compatibility with SQL, while simulta…
View article: Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue
Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue Open
Big data applications routinely involve diverse datasets: relations flat or nested, complex-structure graphs, documents, poorly structured logs, or even text data. To handle the data, application designers usually rely on several data stor…
View article: Automatic verification of database-centric systems
Automatic verification of database-centric systems Open
We present an overview of results on verification of temporal properties of infinite-state transition systems arising from processes that carry and manipulate unbounded data. The techniques bring into play tools from logic, database theory…
View article: VERIFAS: A Practical Verifier for Artifact Systems
VERIFAS: A Practical Verifier for Artifact Systems Open
Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static …
View article: SpinArt: A Spin-based Verifier for Artifact Systems
SpinArt: A Spin-based Verifier for Artifact Systems Open
Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static …
View article: Flexible Hybrid Stores: Constraint-Based Rewriting to the Rescue
Flexible Hybrid Stores: Constraint-Based Rewriting to the Rescue Open
International audience
View article: Toward Scalable Hybrid Stores
Toward Scalable Hybrid Stores Open
National audience
View article: Invisible Glue: Scalable Self-Tuning Multi-Stores
Invisible Glue: Scalable Self-Tuning Multi-Stores Open
International audience