| 374 |
PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) |
1988 |
PODS |
0.00025286717 |
| 621 |
Schema Mappings, Data Exchange, and Metadata Management |
2005 |
PODS |
0.00019005115 |
| 989 |
Relational Transducers for Electronic Commerce |
1998 |
PODS |
0.00014814282 |
| 1,368 |
Querying Business Processes |
2006 |
VLDB |
0.00012347323 |
| 1,752 |
The Temporal Query Language TQuel |
1984 |
PODS |
0.00010679936 |
| 1,779 |
E-Services: A Look Behind the Curtain |
2003 |
PODS |
0.00010581176 |
| 1,875 |
Verification of Communicating Data-Driven Web Services |
2006 |
PODS |
0.00010243508 |
| 1,916 |
A Transaction Language Complete for Database Update and Specification |
1987 |
PODS |
0.00010101977 |
| 2,143 |
Logic Based Modeling and Analysis of Workflows (Extended Abstract) |
1998 |
PODS |
9.4436896e-05 |
| 2,496 |
A System for Specification and Verification of Interactive, Data-driven Web Applications |
2006 |
SIGMOD |
8.6474041e-05 |
| 2,760 |
Temporal versus First-Order Logic to Query Temporal Databases |
1996 |
PODS |
8.1634739e-05 |
| 3,136 |
Handling Infinite Temporal Data |
1990 |
PODS |
7.4913222e-05 |
| 3,190 |
A Verifier for Interactive, Data-driven Web Applications |
2005 |
SIGMOD |
7.4113639e-05 |
| 3,316 |
Temporal Deductive Databases and Infinite Objects |
1988 |
PODS |
7.2298413e-05 |
| 3,494 |
Specification and Verification of Data-driven Web Services |
2004 |
PODS |
7.040662e-05 |
| 4,008 |
Automatic Composition of Transition-based Semantic Web Services with Messaging |
2005 |
VLDB |
6.5380441e-05 |
| 4,051 |
Workflow, Transactions and Datalog |
1999 |
PODS |
6.4940502e-05 |
| 4,121 |
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism |
1992 |
SIGMOD |
6.4351633e-05 |
| 4,123 |
On the Representation of Infinite Temporal Data and Queries (Extended Abstract) |
1991 |
PODS |
6.4343963e-05 |
| 4,183 |
Verification of Relational Data-Centric Dynamic Systems with External Services |
2013 |
PODS |
6.378289e-05 |
| 4,640 |
Transactions And Integrity Constraints |
1985 |
PODS |
6.0271345e-05 |
| 4,709 |
Verifiable Properties of Database Transactions |
1996 |
PODS |
5.9795558e-05 |
| 4,747 |
Semantics and Expressiveness Issues in Active Databases |
1995 |
PODS |
5.9545121e-05 |
| 5,364 |
A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) |
2011 |
PODS |
5.5461492e-05 |
| 5,884 |
Dynamic Constraints And Database Evolution |
1983 |
PODS |
5.2881037e-05 |
| 6,533 |
Labeling Workflow Views with Fine-Grained Dependencies |
2012 |
VLDB |
5.0245193e-05 |
| 7,220 |
Deciding Properties of Transactional Schemas |
1986 |
PODS |
4.7976464e-05 |
| 7,291 |
Static Analysis of Active XML Systems |
2008 |
PODS |
4.7741469e-05 |
| 7,774 |
Decidability and Undecidability Results for the Termination Problem of Active Database Rules |
1998 |
PODS |
4.6543275e-05 |
| 8,833 |
Verification of Relational Transducers for Electronic Commerce |
2000 |
PODS |
4.439447e-05 |
| 8,874 |
Positive Active XML |
2004 |
PODS |
4.4312268e-05 |
| 9,536 |
Databases and Workflow Management: What is it All About? |
1995 |
VLDB |
4.3265281e-05 |
| 9,537 |
On the Feasibility of Checking Temporal Integrity Constraints |
1993 |
PODS |
4.3265281e-05 |
| 9,538 |
Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models |
1989 |
PODS |
4.3265281e-05 |
| 9,539 |
Weak Temporal Relations |
1986 |
PODS |
4.3265281e-05 |
| 9,540 |
Object Projection Views In The Dynamic Relational Model |
1984 |
PODS |
4.3265281e-05 |
| 9,541 |
Reliable Scheduling of Database Transactions for Unreliable Systems |
1984 |
PODS |
4.3265281e-05 |
| 9,542 |
Transactions in Relational Databases (Preliminary Report) |
1984 |
VLDB |
4.3265281e-05 |
| 9,543 |
An Optimal Algorithm For Testing For Safety And Detecting Deadlocks In Locked Transaction Systems |
1982 |
PODS |
4.3265281e-05 |
| 9,544 |
THEORY OF SERIALIZABILITY FOR A PARALLEL MODEL OF TRANSACTIONS (Extended Abstract) |
1982 |
PODS |
4.3265281e-05 |