-
Vertex-centric Parallel Computation of SQL Queries
We present a scheme for parallel execution of SQL queries on top of any ...
read it
-
HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries (Extended Version)
Hybrid complex analytics workloads typically include (i) data management...
read it
-
TigerGraph: A Native MPP Graph Database
We present TigerGraph, a graph database system built from the ground up ...
read it
-
Property Graph Type System and Data Definition Language
Property graph manages data by vertices and edges. Each vertex and edge ...
read it
-
VERIFAS: A Practical Verifier for Artifact Systems
Data-driven workflows, of which IBM's Business Artifacts are a prime exp...
read it
-
SpinArt: A Spin-based Verifier for Artifact Systems
Data-driven workflows, of which IBM's Business Artifacts are a prime exp...
read it

Alin Deutsch
is this you? claim profile