| 358 |
Regular Path Queries with Constraints |
1997 |
PODS |
31 |
0.00020030407 |
| 720 |
PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) |
1988 |
PODS |
22 |
0.0001447659 |
| 1,181 |
Relational Transducers for Electronic Commerce |
1998 |
PODS |
20 |
0.00011599434 |
| 1,326 |
DTD Inference for Views of XML Data |
2000 |
PODS |
16 |
0.0001101664 |
| 1,414 |
Typechecking for XML Transformers |
2000 |
PODS |
16 |
0.0001070948 |
| 1,781 |
A Transaction Language Complete for Database Update and Specification |
1987 |
PODS |
17 |
9.657754e-05 |
| 1,817 |
Validating Streaming XML Documents |
2002 |
PODS |
11 |
9.560097e-05 |
| 2,055 |
Views and Queries: Determinacy and Rewriting |
2005 |
PODS |
11 |
9.1029941e-05 |
| 2,179 |
Verification of Communicating Data-Driven Web Services |
2006 |
PODS |
13 |
8.9012476e-05 |
| 3,058 |
Tractable Query Languages for Complex Object Databases |
1991 |
PODS |
8 |
7.6853469e-05 |
| 3,230 |
Mapping a Semantic Database Model to the Relational Model |
1987 |
SIGMOD |
8 |
7.4931075e-05 |
| 3,473 |
A Verifier for Interactive, Data-driven Web Applications |
2005 |
SIGMOD |
12 |
7.2574254e-05 |
| 3,764 |
XML with Data Values: Typechecking Revisited |
2001 |
PODS |
8 |
7.018016e-05 |
| 3,781 |
Topological Queries in Spatial Databases |
1996 |
PODS |
4 |
7.0032193e-05 |
| 3,808 |
Non-Deterministic Languages to Express Deterministic Transformations |
1990 |
PODS |
8 |
6.9901793e-05 |
| 3,919 |
A System for Specification and Verification of Interactive, Data-driven Web Applications |
2006 |
SIGMOD |
5 |
6.9064384e-05 |
| 4,191 |
Specification and Verification of Data-driven Web Services |
2004 |
PODS |
8 |
6.7360216e-05 |
| 4,281 |
A Web Odyssey: from Codd to XML |
2001 |
PODS |
4 |
6.6721591e-05 |
| 5,089 |
Datalog Unchained |
2021 |
PODS |
6 |
6.2661323e-05 |
| 5,105 |
Transactions And Integrity Constraints |
1985 |
PODS |
6 |
6.2611181e-05 |
| 5,417 |
Semantics and Expressiveness Issues in Active Databases |
1995 |
PODS |
4 |
6.1264606e-05 |
| 5,449 |
Querying Spatial Databases via Topological Invariants |
1998 |
PODS |
3 |
6.1105815e-05 |
| 6,230 |
Dynamic Constraints And Database Evolution |
1983 |
PODS |
7 |
5.8259308e-05 |
| 6,641 |
Representing and Querying XML with Incomplete Information |
2001 |
PODS |
6 |
5.7075003e-05 |
| 6,704 |
Queries are easier than you thought (probably) |
1992 |
PODS |
2 |
5.6870657e-05 |
| 7,526 |
Static Analysis of Active XML Systems |
2008 |
PODS |
6 |
5.4868482e-05 |
| 7,681 |
VERIFAS: A Practical Verifier for Artifact Systems |
2018 |
VLDB |
1 |
5.4565877e-05 |
| 7,683 |
Verification of Hierarchical Artifact Systems |
2016 |
PODS |
2 |
5.4565877e-05 |
| 7,790 |
Deciding Properties of Transactional Schemas |
1986 |
PODS |
3 |
5.4354537e-05 |
| 8,768 |
The Power of Methods With Parallel Semantics |
1991 |
VLDB |
2 |
5.2693231e-05 |
| 10,133 |
Object Projection Views In The Dynamic Relational Model |
1984 |
PODS |
2 |
5.0614501e-05 |
| 10,135 |
Transactions in Relational Databases (Preliminary Report) |
1984 |
VLDB |
1 |
5.0614501e-05 |
| 12,105 |
Projection Views of Register Automata |
2020 |
PODS |
0 |
4.9605343e-05 |
| 12,245 |
Explanations and Transparency in Collaborative Workflows |
2018 |
PODS |
1 |
4.9605343e-05 |
| 12,570 |
Collaborative Data-Driven Workflows: Think Global, Act Local |
2013 |
PODS |
3 |
4.9605343e-05 |
| 13,387 |
Database Method Schemas and Object Creation |
1993 |
PODS |
0 |
4.9605343e-05 |
| 13,514 |
Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) |
1987 |
PODS |
0 |
4.9605343e-05 |