| 356 |
Regular Path Queries with Constraints |
1997 |
PODS |
31 |
0.0002009439 |
| 719 |
PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) |
1988 |
PODS |
22 |
0.0001452391 |
| 1,176 |
Relational Transducers for Electronic Commerce |
1998 |
PODS |
20 |
0.00011637508 |
| 1,315 |
DTD Inference for Views of XML Data |
2000 |
PODS |
16 |
0.00011053178 |
| 1,407 |
Typechecking for XML Transformers |
2000 |
PODS |
16 |
0.00010744741 |
| 1,768 |
A Transaction Language Complete for Database Update and Specification |
1987 |
PODS |
17 |
9.6894e-05 |
| 1,807 |
Validating Streaming XML Documents |
2002 |
PODS |
11 |
9.5917716e-05 |
| 2,046 |
Views and Queries: Determinacy and Rewriting |
2005 |
PODS |
11 |
9.1331561e-05 |
| 2,166 |
Verification of Communicating Data-Driven Web Services |
2006 |
PODS |
13 |
8.9304436e-05 |
| 3,047 |
Tractable Query Languages for Complex Object Databases |
1991 |
PODS |
8 |
7.7108309e-05 |
| 3,219 |
Mapping a Semantic Database Model to the Relational Model |
1987 |
SIGMOD |
8 |
7.5176838e-05 |
| 3,459 |
A Verifier for Interactive, Data-driven Web Applications |
2005 |
SIGMOD |
12 |
7.2814268e-05 |
| 3,759 |
XML with Data Values: Typechecking Revisited |
2001 |
PODS |
8 |
7.0412912e-05 |
| 3,773 |
Topological Queries in Spatial Databases |
1996 |
PODS |
4 |
7.026451e-05 |
| 3,799 |
Non-Deterministic Languages to Express Deterministic Transformations |
1990 |
PODS |
8 |
7.0133698e-05 |
| 3,908 |
A System for Specification and Verification of Interactive, Data-driven Web Applications |
2006 |
SIGMOD |
5 |
6.9293511e-05 |
| 4,170 |
Specification and Verification of Data-driven Web Services |
2004 |
PODS |
8 |
6.7583592e-05 |
| 4,266 |
A Web Odyssey: from Codd to XML |
2001 |
PODS |
4 |
6.6941178e-05 |
| 5,070 |
Datalog Unchained |
2021 |
PODS |
6 |
6.2869206e-05 |
| 5,085 |
Transactions And Integrity Constraints |
1985 |
PODS |
6 |
6.2817401e-05 |
| 5,401 |
Semantics and Expressiveness Issues in Active Databases |
1995 |
PODS |
4 |
6.1467854e-05 |
| 5,433 |
Querying Spatial Databases via Topological Invariants |
1998 |
PODS |
3 |
6.1308517e-05 |
| 6,217 |
Dynamic Constraints And Database Evolution |
1983 |
PODS |
7 |
5.8451723e-05 |
| 6,630 |
Representing and Querying XML with Incomplete Information |
2001 |
PODS |
6 |
5.7264133e-05 |
| 6,689 |
Queries are easier than you thought (probably) |
1992 |
PODS |
2 |
5.7059311e-05 |
| 7,508 |
Static Analysis of Active XML Systems |
2008 |
PODS |
6 |
5.505048e-05 |
| 7,668 |
VERIFAS: A Practical Verifier for Artifact Systems |
2018 |
VLDB |
1 |
5.4746904e-05 |
| 7,670 |
Verification of Hierarchical Artifact Systems |
2016 |
PODS |
2 |
5.4746904e-05 |
| 7,775 |
Deciding Properties of Transactional Schemas |
1986 |
PODS |
3 |
5.4533998e-05 |
| 8,748 |
The Power of Methods With Parallel Semantics |
1991 |
VLDB |
2 |
5.2868043e-05 |
| 10,099 |
Object Projection Views In The Dynamic Relational Model |
1984 |
PODS |
2 |
5.078242e-05 |
| 10,101 |
Transactions in Relational Databases (Preliminary Report) |
1984 |
VLDB |
1 |
5.078242e-05 |
| 12,061 |
Projection Views of Register Automata |
2020 |
PODS |
0 |
4.9769913e-05 |
| 12,202 |
Explanations and Transparency in Collaborative Workflows |
2018 |
PODS |
1 |
4.9769913e-05 |
| 12,527 |
Collaborative Data-Driven Workflows: Think Global, Act Local |
2013 |
PODS |
3 |
4.9769913e-05 |
| 13,346 |
Database Method Schemas and Object Creation |
1993 |
PODS |
0 |
4.9769913e-05 |
| 13,473 |
Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) |
1987 |
PODS |
0 |
4.9769913e-05 |