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
1613
Venue
PODS
Year
2013
Pagerank
8.2898925e-05
Overall Rank
2,653 | 81.80%
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
506 Schema Mappings, Data Exchange, and Metadata Management 2005 PODS 0.0001728171
702 PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) 1988 PODS 0.00014855299
1,159 Relational Transducers for Electronic Commerce 1998 PODS 0.00011898742
1,726 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.9156202e-05
1,985 Querying Business Processes 2006 VLDB 9.353709e-05
2,037 The Temporal Query Language TQuel 1984 PODS 9.2777184e-05
2,122 E-Services: A Look Behind the Curtain 2003 PODS 9.1402274e-05
2,125 Verification of Communicating Data-Driven Web Services 2006 PODS 9.1334411e-05
2,641 Logic Based Modeling and Analysis of Workflows (Extended Abstract) 1998 PODS 8.307117e-05
3,171 Temporal versus First-Order Logic to Query Temporal Databases 1996 PODS 7.6691319e-05
3,398 A Verifier for Interactive, Data-driven Web Applications 2005 SIGMOD 7.4467496e-05
3,826 A System for Specification and Verification of Interactive, Data-driven Web Applications 2006 SIGMOD 7.0916124e-05
3,829 Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism 1992 SIGMOD 7.088463e-05
4,080 Specification and Verification of Data-driven Web Services 2004 PODS 6.9165722e-05
4,173 Automatic Composition of Transition-based Semantic Web Services with Messaging 2005 VLDB 6.8533511e-05
4,348 Handling Infinite Temporal Data 1990 PODS 6.7507186e-05
4,437 Workflow, Transactions and Datalog 1999 PODS 6.7064486e-05
4,439 Temporal Deductive Databases and Infinite Objects 1988 PODS 6.705288e-05
4,536 On the Representation of Infinite Temporal Data and Queries (Extended Abstract) 1991 PODS 6.641885e-05
4,962 Transactions And Integrity Constraints 1985 PODS 6.4273819e-05
5,270 Semantics and Expressiveness Issues in Active Databases 1995 PODS 6.2908453e-05
5,475 Verifiable Properties of Database Transactions 1996 PODS 6.205309e-05
5,511 A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) 2011 PODS 6.1915384e-05
5,874 Verification of Relational Data-Centric Dynamic Systems with External Services 2013 PODS 6.0586728e-05
6,085 Dynamic Constraints And Database Evolution 1983 PODS 5.9820991e-05
7,089 Labeling Workflow Views with Fine-Grained Dependencies 2012 VLDB 5.7066232e-05
7,361 Static Analysis of Active XML Systems 2008 PODS 5.6340455e-05
7,615 Deciding Properties of Transactional Schemas 1986 PODS 5.5811446e-05
8,128 Decidability and Undecidability Results for the Termination Problem of Active Database Rules 1998 PODS 5.4825743e-05
9,153 Positive Active XML 2004 PODS 5.3130241e-05
9,178 Verification of Relational Transducers for Electronic Commerce 2000 PODS 5.3077309e-05
9,904 Databases and Workflow Management: What is it All About? 1995 VLDB 5.1972596e-05
9,905 On the Feasibility of Checking Temporal Integrity Constraints 1993 PODS 5.1972596e-05
9,906 Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models 1989 PODS 5.1972596e-05
9,907 Weak Temporal Relations 1986 PODS 5.1972596e-05
9,908 Object Projection Views In The Dynamic Relational Model 1984 PODS 5.1972596e-05
9,909 Reliable Scheduling of Database Transactions for Unreliable Systems 1984 PODS 5.1972596e-05
9,910 Transactions in Relational Databases (Preliminary Report) 1984 VLDB 5.1972596e-05
9,911 An Optimal Algorithm For Testing For Safety And Detecting Deadlocks In Locked Transaction Systems 1982 PODS 5.1972596e-05
9,912 THEORY OF SERIALIZABILITY FOR A PARALLEL MODEL OF TRANSACTIONS (Extended Abstract) 1982 PODS 5.1972596e-05
Previous Page 1 / 1 Next

Semantically Similar Papers