@article{1667132ee2cc4b779bcdc9c7dc9d83f9,
title = "Type inference and type checking for queries over execution traces",
abstract = "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.",
keywords = "Business Processes, Execution traces, Type information",
author = "Daniel Deutch and Tova Milo",
note = "Funding Information: This work has been partially funded by the Israel Science Foundation, by the US-Israel Binational Science Foundation, and by the EU grant MANCOOSI.",
year = "2012",
month = feb,
doi = "10.1007/s00778-011-0234-x",
language = "אנגלית",
volume = "21",
pages = "51--68",
journal = "VLDB Journal",
issn = "1066-8888",
publisher = "Springer New York",
number = "1",
}