Type Inference and Type Checking for Queries on Execution Traces
Summary: Type inference and checking for queries on nested-DAG execution traces of business processes. Three trace classes; analyzes query expressiveness; yields a near-complete PTIME vs NP/undecidable complexity map with efficient algorithms where possible. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Daniel Deutch
- 2. Tova Milo
Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,364 | A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) | 2011 | PODS | 5.5461492e-05 |
| 6,844 | Querying and Monitoring Distributed Business Processes | 2008 | VLDB | 4.9095428e-05 |
| 12,283 | Optimal Top-K Query Evaluation for Weighted Business Processes | 2010 | VLDB | 4.1945683e-05 |
| 12,417 | Querying Web-Based Applications Under Models of Uncertainty | 2008 | VLDB | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 11 of 11 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 882 | DTD Inference for Views of XML Data | 2000 | PODS | 0.00015657456 |
| 970 | Typechecking for XML Transformers | 2000 | PODS | 0.00014939578 |
| 1,368 | Querying Business Processes | 2006 | VLDB | 0.00012347323 |
| 1,875 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 0.00010243508 |
| 1,897 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010178006 |
| 2,382 | Business Process Cockpit (EXTENDED ABSTRACT) | 2002 | VLDB | 8.9321385e-05 |
| 3,190 | A Verifier for Interactive, Data-driven Web Applications | 2005 | SIGMOD | 7.4113639e-05 |
| 3,483 | Type-Based XML Projection | 2006 | VLDB | 7.0525441e-05 |
| 5,716 | XML Transformation by Tree-Walking Transducers with Invisible Pebbles | 2007 | PODS | 5.3561157e-05 |
| 7,238 | A Crash Course on Database Queries | 2007 | PODS | 4.7928464e-05 |
| 8,560 | Monitoring Business Processes with Queries | 2007 | VLDB | 4.4937074e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,150 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4255252e-05 |
| 8,450 | Static Analysis of Graph Database Transformations | 2023 | PODS | 4.5086643e-05 |
| 1,163 | Extracting Schema from Semistructured Data | 1998 | SIGMOD | 0.00013577466 |
| 6,312 | Type Inference for Datalog and its Application to Query Optimisation | 2008 | PODS | 5.1158809e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.655071e-05 |
| 9,676 | Schema-Based Query Optimisation for Graph Databases | 2025 | SIGMOD | 4.3047774e-05 |
| 2,727 | Semantic Query Optimization in the Presence of Types | 2010 | PODS | 8.2216778e-05 |
| 11,967 | Does Query Evaluation Tractability Help Query Containment? | 2014 | PODS | 4.1945683e-05 |
| 3,863 | Type Systems for Querying Class Hierarchies with Non-strict Inheritance. | 1989 | PODS | 6.6873684e-05 |
| 1,897 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010178006 |