-
TigerGraph: A Native MPP Graph Database
We present TigerGraph, a graph database system built from the ground up ...
01/24/2019 ∙ by Alin Deutsch, et al. ∙
0
∙
share
read it
-
Property Graph Type System and Data Definition Language
Property graph manages data by vertices and edges. Each vertex and edge ...
10/20/2018 ∙ by Mingxi Wu, et al. ∙
0
∙
share
read it
-
VERIFAS: A Practical Verifier for Artifact Systems
Data-driven workflows, of which IBM's Business Artifacts are a prime exp...
05/29/2017 ∙ by Yuliang Li, et al. ∙
0
∙
share
read it
-
SpinArt: A Spin-based Verifier for Artifact Systems
Data-driven workflows, of which IBM's Business Artifacts are a prime exp...
05/26/2017 ∙ by Yuliang Li, et al. ∙
0
∙
share
read it
