Type inference and type checking for queries over execution traces

被引：0

作者：

Daniel Deutch

Tova Milo

机构：

[1] Ben Gurion University,

[2] Tel Aviv University,undefined

来源：

The VLDB Journal | 2012年 / 21卷

关键词：

Business Processes; Type information; Execution traces;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We study here Type Inference and Type Checking for queries over the execution traces of Business Processes. We define formal models for such execution traces, allowing to capture various realistic scenarios of partial information about these traces. We then define corresponding notions of types, and the problems of type inference and type checking in this context. We further provide a comprehensive study of the decidability and complexity of these problems, in various cases, and suggest efficient algorithms where possible.

引用

页码：51 / 68

页数：17