Download now Free registration required
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe execution traces of business processes (BPs for short). Specifically, the authors consider here type inference and type checking for queries over BP execution traces. The queries that they consider select portions of the traces that are of interest to the user; the types describe the possible shape of the execution traces in the input/output of the query.
- Format: PDF
- Size: 769.99 KB