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.1038896e-05
Overall Rank
2,711 | 81.78%
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.00016948466
718 PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) 1988 PODS 0.00014530776
1,176 Relational Transducers for Electronic Commerce 1998 PODS 0.00011643011
1,767 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.6939822e-05
2,034 Querying Business Processes 2006 VLDB 9.1545187e-05
2,083 The Temporal Query Language TQuel 1984 PODS 9.0722247e-05
2,159 E-Services: A Look Behind the Curtain 2003 PODS 8.9372589e-05
2,164 Verification of Communicating Data-Driven Web Services 2006 PODS 8.9346715e-05
2,695 Logic Based Modeling and Analysis of Workflows (Extended Abstract) 1998 PODS 8.1213392e-05
3,223 Temporal versus First-Order Logic to Query Temporal Databases 1996 PODS 7.5126678e-05
3,458 A Verifier for Interactive, Data-driven Web Applications 2005 SIGMOD 7.284865e-05
3,894 Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism 1992 SIGMOD 6.9395397e-05
3,907 A System for Specification and Verification of Interactive, Data-driven Web Applications 2006 SIGMOD 6.9326298e-05
4,170 Specification and Verification of Data-driven Web Services 2004 PODS 6.7615597e-05
4,257 Automatic Composition of Transition-based Semantic Web Services with Messaging 2005 VLDB 6.7001083e-05
4,438 Handling Infinite Temporal Data 1990 PODS 6.6000332e-05
4,535 Workflow, Transactions and Datalog 1999 PODS 6.5559749e-05
4,537 Temporal Deductive Databases and Infinite Objects 1988 PODS 6.5550147e-05
4,632 On the Representation of Infinite Temporal Data and Queries (Extended Abstract) 1991 PODS 6.4936345e-05
5,082 Transactions And Integrity Constraints 1985 PODS 6.2847136e-05
5,395 Semantics and Expressiveness Issues in Active Databases 1995 PODS 6.1496965e-05
5,602 Verifiable Properties of Database Transactions 1996 PODS 6.0703115e-05
5,644 A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) 2011 PODS 6.0533802e-05
5,993 Verification of Relational Data-Centric Dynamic Systems with External Services 2013 PODS 5.9227325e-05
6,214 Dynamic Constraints And Database Evolution 1983 PODS 5.8479403e-05
7,237 Labeling Workflow Views with Fine-Grained Dependencies 2012 VLDB 5.5785819e-05
7,503 Static Analysis of Active XML Systems 2008 PODS 5.5076551e-05
7,766 Deciding Properties of Transactional Schemas 1986 PODS 5.4559822e-05
8,303 Decidability and Undecidability Results for the Termination Problem of Active Database Rules 1998 PODS 5.359571e-05
9,326 Positive Active XML 2004 PODS 5.1938141e-05
9,353 Verification of Relational Transducers for Electronic Commerce 2000 PODS 5.1886678e-05
10,091 Databases and Workflow Management: What is it All About? 1995 VLDB 5.0806471e-05
10,092 On the Feasibility of Checking Temporal Integrity Constraints 1993 PODS 5.0806471e-05
10,093 Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models 1989 PODS 5.0806471e-05
10,094 Weak Temporal Relations 1986 PODS 5.0806471e-05
10,095 Object Projection Views In The Dynamic Relational Model 1984 PODS 5.0806471e-05
10,096 Reliable Scheduling of Database Transactions for Unreliable Systems 1984 PODS 5.0806471e-05
10,097 Transactions in Relational Databases (Preliminary Report) 1984 VLDB 5.0806471e-05
10,098 An Optimal Algorithm For Testing For Safety And Detecting Deadlocks In Locked Transaction Systems 1982 PODS 5.0806471e-05
10,099 THEORY OF SERIALIZABILITY FOR A PARALLEL MODEL OF TRANSACTIONS (Extended Abstract) 1982 PODS 5.0806471e-05
Previous Page 1 / 1 Next

Semantically Similar Papers