DBScholar

Back to papers

Foundations of Data-Aware Process Analysis: A Database Theory Perspective

Summary: Survey of database-theory foundations for data-aware business processes, synthesizing models, verification techniques, and decidability/complexity results that merge data and process perspectives. Argues the DB theory community should provide formal foundations to resolve the data/process dichotomy. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
hdceafd526e1fd2d3
Venue
PODS
Year
2013
Pagerank
8.1000533e-05
Overall Rank
2,711 | 81.79%
DOI
10.1145/2463664.2467796

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{calvanese_pods13,
        address = {New York, NY, USA},
        series = {{PODS} '13},
        title = {{Foundations of Data-Aware Process Analysis: A Database Theory Perspective}},
        url = {https://dl.acm.org/doi/10.1145/2463664.2467796},
        doi = {10.1145/2463664.2467796},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Calvanese, Diego and Montali, Marco and De Giacomo, Giuseppe},
        year = {2013}
}

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 40 of 40 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
517 Schema Mappings, Data Exchange, and Metadata Management 2005 PODS 0.0001694094
719 PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) 1988 PODS 0.0001452391
1,176 Relational Transducers for Electronic Commerce 1998 PODS 0.00011637508
1,768 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.6894e-05
2,036 Querying Business Processes 2006 VLDB 9.1502528e-05
2,085 The Temporal Query Language TQuel 1984 PODS 9.0679401e-05
2,163 E-Services: A Look Behind the Curtain 2003 PODS 8.9330526e-05
2,166 Verification of Communicating Data-Driven Web Services 2006 PODS 8.9304436e-05
2,696 Logic Based Modeling and Analysis of Workflows (Extended Abstract) 1998 PODS 8.1174958e-05
3,225 Temporal versus First-Order Logic to Query Temporal Databases 1996 PODS 7.5091115e-05
3,459 A Verifier for Interactive, Data-driven Web Applications 2005 SIGMOD 7.2814268e-05
3,894 Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism 1992 SIGMOD 6.9364082e-05
3,908 A System for Specification and Verification of Interactive, Data-driven Web Applications 2006 SIGMOD 6.9293511e-05
4,170 Specification and Verification of Data-driven Web Services 2004 PODS 6.7583592e-05
4,259 Automatic Composition of Transition-based Semantic Web Services with Messaging 2005 VLDB 6.6969367e-05
4,440 Handling Infinite Temporal Data 1990 PODS 6.5969098e-05
4,537 Workflow, Transactions and Datalog 1999 PODS 6.5528715e-05
4,539 Temporal Deductive Databases and Infinite Objects 1988 PODS 6.5519125e-05
4,634 On the Representation of Infinite Temporal Data and Queries (Extended Abstract) 1991 PODS 6.4905684e-05
5,085 Transactions And Integrity Constraints 1985 PODS 6.2817401e-05
5,401 Semantics and Expressiveness Issues in Active Databases 1995 PODS 6.1467854e-05
5,603 Verifiable Properties of Database Transactions 1996 PODS 6.0674379e-05
5,646 A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) 2011 PODS 6.0505202e-05
5,993 Verification of Relational Data-Centric Dynamic Systems with External Services 2013 PODS 5.9199287e-05
6,217 Dynamic Constraints And Database Evolution 1983 PODS 5.8451723e-05
7,240 Labeling Workflow Views with Fine-Grained Dependencies 2012 VLDB 5.5759411e-05
7,508 Static Analysis of Active XML Systems 2008 PODS 5.505048e-05
7,775 Deciding Properties of Transactional Schemas 1986 PODS 5.4533998e-05
8,310 Decidability and Undecidability Results for the Termination Problem of Active Database Rules 1998 PODS 5.3570339e-05
9,335 Positive Active XML 2004 PODS 5.1913554e-05
9,361 Verification of Relational Transducers for Electronic Commerce 2000 PODS 5.1862116e-05
10,095 Databases and Workflow Management: What is it All About? 1995 VLDB 5.078242e-05
10,096 On the Feasibility of Checking Temporal Integrity Constraints 1993 PODS 5.078242e-05
10,097 Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models 1989 PODS 5.078242e-05
10,098 Weak Temporal Relations 1986 PODS 5.078242e-05
10,099 Object Projection Views In The Dynamic Relational Model 1984 PODS 5.078242e-05
10,100 Reliable Scheduling of Database Transactions for Unreliable Systems 1984 PODS 5.078242e-05
10,101 Transactions in Relational Databases (Preliminary Report) 1984 VLDB 5.078242e-05
10,102 An Optimal Algorithm For Testing For Safety And Detecting Deadlocks In Locked Transaction Systems 1982 PODS 5.078242e-05
10,103 THEORY OF SERIALIZABILITY FOR A PARALLEL MODEL OF TRANSACTIONS (Extended Abstract) 1982 PODS 5.078242e-05
Previous Page 1 / 1 Next

Semantically Similar Papers