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,374 | A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) | 2011 | PODS | 5.5408029e-05 |
| 6,842 | Querying and Monitoring Distributed Business Processes | 2008 | VLDB | 4.904836e-05 |
| 12,291 | Optimal Top-K Query Evaluation for Weighted Business Processes | 2010 | VLDB | 4.1905499e-05 |
| 12,426 | Querying Web-Based Applications Under Models of Uncertainty | 2008 | VLDB | 4.1905499e-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 |
|---|---|---|---|---|
| 880 | DTD Inference for Views of XML Data | 2000 | PODS | 0.00015642282 |
| 970 | Typechecking for XML Transformers | 2000 | PODS | 0.00014924533 |
| 1,371 | Querying Business Processes | 2006 | VLDB | 0.00012335393 |
| 1,877 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 0.00010234468 |
| 1,900 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010168127 |
| 2,382 | Business Process Cockpit (EXTENDED ABSTRACT) | 2002 | VLDB | 8.923498e-05 |
| 3,197 | A Verifier for Interactive, Data-driven Web Applications | 2005 | SIGMOD | 7.404293e-05 |
| 3,489 | Type-Based XML Projection | 2006 | VLDB | 7.0458331e-05 |
| 5,726 | XML Transformation by Tree-Walking Transducers with Invisible Pebbles | 2007 | PODS | 5.3509726e-05 |
| 7,234 | A Crash Course on Database Queries | 2007 | PODS | 4.7882493e-05 |
| 8,557 | Monitoring Business Processes with Queries | 2007 | VLDB | 4.4893996e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,155 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4164126e-05 |
| 8,442 | Static Analysis of Graph Database Transformations | 2023 | PODS | 4.5043421e-05 |
| 1,163 | Extracting Schema from Semistructured Data | 1998 | SIGMOD | 0.00013572993 |
| 6,312 | Type Inference for Datalog and its Application to Query Optimisation | 2008 | PODS | 5.1109656e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.6506061e-05 |
| 9,676 | Schema-Based Query Optimisation for Graph Databases | 2025 | SIGMOD | 4.3006524e-05 |
| 2,732 | Semantic Query Optimization in the Presence of Types | 2010 | PODS | 8.2137395e-05 |
| 11,975 | Does Query Evaluation Tractability Help Query Containment? | 2014 | PODS | 4.1905499e-05 |
| 3,865 | Type Systems for Querying Class Hierarchies with Non-strict Inheritance. | 1989 | PODS | 6.6809234e-05 |
| 1,900 | Type Inference for Queries on Semistructured Data (Extended Abstract) | 1999 | PODS | 0.00010168127 |