Type inference and type checking for queries over execution traces

Research output: Contribution to journalArticlepeer-review


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 - 1 Feb 2012


  • Business Processes
  • Execution traces
  • Type information

All Science Journal Classification (ASJC) codes

  • Information Systems
  • Hardware and Architecture


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

Cite this