Type inference and type checking for queries over execution traces

Daniel Deutch*, Tova Milo

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

6 Scopus citations


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.

Original languageEnglish
Pages (from-to)51-68
Number of pages18
JournalVLDB Journal
Issue number1
StatePublished - Feb 2012


FundersFunder number
European Commission
United States-Israel Binational Science Foundation
Israel Science Foundation


    • Business Processes
    • Execution traces
    • Type information


    Dive into the research topics of 'Type inference and type checking for queries over execution traces'. Together they form a unique fingerprint.

    Cite this