activity
20122023
most citedVerification of Hierarchical Artifact Systems

22 citations · 53 across the 10 of their papers we have counts for

collaborators

11 papers

cs.DB2023

The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space

Gábor Szárnyas, Brad Bebee, Altan Birler +30

Graph data management is instrumental for several use cases such as recommendation, root cause analysis, financial fraud detection, and enterprise knowledge representation. Efficie…

cs.DB2021

Graph Pattern Matching in GQL and SQL/PGQ

Alin Deutsch, Nadime Francis, Alastair Green +15

As graph databases become widespread, JTC1 -- the committee in joint charge of information technology standards for the International Organization for Standardization (ISO), and In…

cs.DB2021

HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries (Extended Version)

Rana Alotaibi, Bogdan Cautis, Alin Deutsch +1

Hybrid complex analytics workloads typically include (i) data management tasks (joins, selections, etc. ), easily expressed using relational algebra (RA)-based languages, and (ii)…

cs.DB2021★ 1 cited

Vertex-centric Parallel Computation of SQL Queries

Ainur Smagulova, Alin Deutsch

We present a scheme for parallel execution of SQL queries on top of any vertex-centric BSP graph processing engine. The scheme comprises a graph encoding of relational instances an…

cs.DB2019★ 15 cited

TigerGraph: A Native MPP Graph Database

Alin Deutsch, Yu Xu, Mingxi Wu +1

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,…

cs.DB2017★ 11 cited

VERIFAS: A Practical Verifier for Artifact Systems

Yuliang Li, Alin Deutsch, Victor Vianu

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…