| 375 |
PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) |
1988 |
PODS |
0.00025262028 |
| 620 |
Schema Mappings, Data Exchange, and Metadata Management |
2005 |
PODS |
0.00018983367 |
| 990 |
Relational Transducers for Electronic Commerce |
1998 |
PODS |
0.00014800793 |
| 1,371 |
Querying Business Processes |
2006 |
VLDB |
0.00012335393 |
| 1,752 |
The Temporal Query Language TQuel |
1984 |
PODS |
0.00010669141 |
| 1,777 |
E-Services: A Look Behind the Curtain |
2003 |
PODS |
0.00010571658 |
| 1,877 |
Verification of Communicating Data-Driven Web Services |
2006 |
PODS |
0.00010234468 |
| 1,920 |
A Transaction Language Complete for Database Update and Specification |
1987 |
PODS |
0.00010092077 |
| 2,145 |
Logic Based Modeling and Analysis of Workflows (Extended Abstract) |
1998 |
PODS |
9.4349268e-05 |
| 2,499 |
A System for Specification and Verification of Interactive, Data-driven Web Applications |
2006 |
SIGMOD |
8.6390448e-05 |
| 2,765 |
Temporal versus First-Order Logic to Query Temporal Databases |
1996 |
PODS |
8.1563487e-05 |
| 3,146 |
Handling Infinite Temporal Data |
1990 |
PODS |
7.4837887e-05 |
| 3,197 |
A Verifier for Interactive, Data-driven Web Applications |
2005 |
SIGMOD |
7.404293e-05 |
| 3,318 |
Temporal Deductive Databases and Infinite Objects |
1988 |
PODS |
7.2227559e-05 |
| 3,498 |
Specification and Verification of Data-driven Web Services |
2004 |
PODS |
7.0370688e-05 |
| 4,011 |
Automatic Composition of Transition-based Semantic Web Services with Messaging |
2005 |
VLDB |
6.5347168e-05 |
| 4,058 |
Workflow, Transactions and Datalog |
1999 |
PODS |
6.4877988e-05 |
| 4,122 |
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism |
1992 |
SIGMOD |
6.4292596e-05 |
| 4,124 |
On the Representation of Infinite Temporal Data and Queries (Extended Abstract) |
1991 |
PODS |
6.4281002e-05 |
| 4,183 |
Verification of Relational Data-Centric Dynamic Systems with External Services |
2013 |
PODS |
6.3721558e-05 |
| 4,643 |
Transactions And Integrity Constraints |
1985 |
PODS |
6.0213009e-05 |
| 4,710 |
Verifiable Properties of Database Transactions |
1996 |
PODS |
5.9737802e-05 |
| 4,744 |
Semantics and Expressiveness Issues in Active Databases |
1995 |
PODS |
5.9487921e-05 |
| 5,374 |
A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) |
2011 |
PODS |
5.5408029e-05 |
| 5,890 |
Dynamic Constraints And Database Evolution |
1983 |
PODS |
5.2830191e-05 |
| 6,531 |
Labeling Workflow Views with Fine-Grained Dependencies |
2012 |
VLDB |
5.0196961e-05 |
| 7,219 |
Deciding Properties of Transactional Schemas |
1986 |
PODS |
4.7930382e-05 |
| 7,288 |
Static Analysis of Active XML Systems |
2008 |
PODS |
4.7695781e-05 |
| 7,774 |
Decidability and Undecidability Results for the Termination Problem of Active Database Rules |
1998 |
PODS |
4.6498948e-05 |
| 8,833 |
Verification of Relational Transducers for Electronic Commerce |
2000 |
PODS |
4.4352158e-05 |
| 8,874 |
Positive Active XML |
2004 |
PODS |
4.4269776e-05 |
| 9,537 |
Databases and Workflow Management: What is it All About? |
1995 |
VLDB |
4.3223802e-05 |
| 9,538 |
On the Feasibility of Checking Temporal Integrity Constraints |
1993 |
PODS |
4.3223802e-05 |
| 9,539 |
Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models |
1989 |
PODS |
4.3223802e-05 |
| 9,540 |
Weak Temporal Relations |
1986 |
PODS |
4.3223802e-05 |
| 9,541 |
Object Projection Views In The Dynamic Relational Model |
1984 |
PODS |
4.3223802e-05 |
| 9,542 |
Reliable Scheduling of Database Transactions for Unreliable Systems |
1984 |
PODS |
4.3223802e-05 |
| 9,543 |
Transactions in Relational Databases (Preliminary Report) |
1984 |
VLDB |
4.3223802e-05 |
| 9,544 |
An Optimal Algorithm For Testing For Safety And Detecting Deadlocks In Locked Transaction Systems |
1982 |
PODS |
4.3223802e-05 |
| 9,545 |
THEORY OF SERIALIZABILITY FOR A PARALLEL MODEL OF TRANSACTIONS (Extended Abstract) |
1982 |
PODS |
4.3223802e-05 |