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.0732695e-05
Overall Rank
2,723 | 81.75%
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
524 Schema Mappings, Data Exchange, and Metadata Management 2005 PODS 0.00016888746
720 PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) 1988 PODS 0.0001447659
1,181 Relational Transducers for Electronic Commerce 1998 PODS 0.00011599434
1,781 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.657754e-05
2,047 Querying Business Processes 2006 VLDB 9.1200868e-05
2,094 The Temporal Query Language TQuel 1984 PODS 9.0409588e-05
2,175 E-Services: A Look Behind the Curtain 2003 PODS 8.9035887e-05
2,179 Verification of Communicating Data-Driven Web Services 2006 PODS 8.9012476e-05
2,709 Logic Based Modeling and Analysis of Workflows (Extended Abstract) 1998 PODS 8.0906654e-05
3,237 Temporal versus First-Order Logic to Query Temporal Databases 1996 PODS 7.4848318e-05
3,473 A Verifier for Interactive, Data-driven Web Applications 2005 SIGMOD 7.2574254e-05
3,908 Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism 1992 SIGMOD 6.913498e-05
3,919 A System for Specification and Verification of Interactive, Data-driven Web Applications 2006 SIGMOD 6.9064384e-05
4,191 Specification and Verification of Data-driven Web Services 2004 PODS 6.7360216e-05
4,276 Automatic Composition of Transition-based Semantic Web Services with Messaging 2005 VLDB 6.6748208e-05
4,463 Handling Infinite Temporal Data 1990 PODS 6.575115e-05
4,553 Workflow, Transactions and Datalog 1999 PODS 6.5312039e-05
4,555 Temporal Deductive Databases and Infinite Objects 1988 PODS 6.5302546e-05
4,655 On the Representation of Infinite Temporal Data and Queries (Extended Abstract) 1991 PODS 6.4691508e-05
5,105 Transactions And Integrity Constraints 1985 PODS 6.2611181e-05
5,417 Semantics and Expressiveness Issues in Active Databases 1995 PODS 6.1264606e-05
5,616 Verifiable Properties of Database Transactions 1996 PODS 6.0475787e-05
5,660 A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) 2011 PODS 6.0306257e-05
6,005 Verification of Relational Data-Centric Dynamic Systems with External Services 2013 PODS 5.9003537e-05
6,230 Dynamic Constraints And Database Evolution 1983 PODS 5.8259308e-05
7,259 Labeling Workflow Views with Fine-Grained Dependencies 2012 VLDB 5.5575036e-05
7,526 Static Analysis of Active XML Systems 2008 PODS 5.4868482e-05
7,790 Deciding Properties of Transactional Schemas 1986 PODS 5.4354537e-05
8,324 Decidability and Undecidability Results for the Termination Problem of Active Database Rules 1998 PODS 5.339324e-05
9,360 Positive Active XML 2004 PODS 5.1741895e-05
9,387 Verification of Relational Transducers for Electronic Commerce 2000 PODS 5.1690656e-05
10,129 Databases and Workflow Management: What is it All About? 1995 VLDB 5.0614501e-05
10,130 On the Feasibility of Checking Temporal Integrity Constraints 1993 PODS 5.0614501e-05
10,131 Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models 1989 PODS 5.0614501e-05
10,132 Weak Temporal Relations 1986 PODS 5.0614501e-05
10,133 Object Projection Views In The Dynamic Relational Model 1984 PODS 5.0614501e-05
10,134 Reliable Scheduling of Database Transactions for Unreliable Systems 1984 PODS 5.0614501e-05
10,135 Transactions in Relational Databases (Preliminary Report) 1984 VLDB 5.0614501e-05
10,136 An Optimal Algorithm For Testing For Safety And Detecting Deadlocks In Locked Transaction Systems 1982 PODS 5.0614501e-05
10,137 THEORY OF SERIALIZABILITY FOR A PARALLEL MODEL OF TRANSACTIONS (Extended Abstract) 1982 PODS 5.0614501e-05
Previous Page 1 / 1 Next

Semantically Similar Papers