| 348 |
Regular Path Queries with Constraints |
1997 |
PODS |
0.00020518814 |
| 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,290 |
DTD Inference for Views of XML Data |
2000 |
PODS |
0.00011312135 |
| 1,372 |
Typechecking for XML Transformers |
2000 |
PODS |
0.00010994864 |
| 1,726 |
A Transaction Language Complete for Database Update and Specification |
1987 |
PODS |
9.9156202e-05 |
| 1,758 |
Validating Streaming XML Documents |
2002 |
PODS |
9.8162828e-05 |
| 1,991 |
Views and Queries: Determinacy and Rewriting |
2005 |
PODS |
9.344653e-05 |
| 2,125 |
Verification of Communicating Data-Driven Web Services |
2006 |
PODS |
9.1334411e-05 |
| 2,986 |
Tractable Query Languages for Complex Object Databases |
1991 |
PODS |
7.8912631e-05 |
| 3,156 |
Mapping a Semantic Database Model to the Relational Model |
1987 |
SIGMOD |
7.693414e-05 |
| 3,398 |
A Verifier for Interactive, Data-driven Web Applications |
2005 |
SIGMOD |
7.4467496e-05 |
| 3,679 |
XML with Data Values: Typechecking Revisited |
2001 |
PODS |
7.2045472e-05 |
| 3,695 |
Topological Queries in Spatial Databases |
1996 |
PODS |
7.1911058e-05 |
| 3,712 |
Non-Deterministic Languages to Express Deterministic Transformations |
1990 |
PODS |
7.1777407e-05 |
| 3,826 |
A System for Specification and Verification of Interactive, Data-driven Web Applications |
2006 |
SIGMOD |
7.0916124e-05 |
| 4,080 |
Specification and Verification of Data-driven Web Services |
2004 |
PODS |
6.9165722e-05 |
| 4,178 |
A Web Odyssey: from Codd to XML |
2001 |
PODS |
6.849218e-05 |
| 4,943 |
Datalog Unchained |
2021 |
PODS |
6.4332239e-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,303 |
Querying Spatial Databases via Topological Invariants |
1998 |
PODS |
6.2745166e-05 |
| 6,085 |
Dynamic Constraints And Database Evolution |
1983 |
PODS |
5.9820991e-05 |
| 6,501 |
Representing and Querying XML with Incomplete Information |
2001 |
PODS |
5.8604724e-05 |
| 6,558 |
Queries are easier than you thought (probably) |
1992 |
PODS |
5.8396421e-05 |
| 7,361 |
Static Analysis of Active XML Systems |
2008 |
PODS |
5.6340455e-05 |
| 7,516 |
VERIFAS: A Practical Verifier for Artifact Systems |
2018 |
VLDB |
5.6029996e-05 |
| 7,518 |
Verification of Hierarchical Artifact Systems |
2016 |
PODS |
5.6029996e-05 |
| 7,615 |
Deciding Properties of Transactional Schemas |
1986 |
PODS |
5.5811446e-05 |
| 8,569 |
The Power of Methods With Parallel Semantics |
1991 |
VLDB |
5.4107086e-05 |
| 9,908 |
Object Projection Views In The Dynamic Relational Model |
1984 |
PODS |
5.1972596e-05 |
| 9,910 |
Transactions in Relational Databases (Preliminary Report) |
1984 |
VLDB |
5.1972596e-05 |
| 11,752 |
Projection Views of Register Automata |
2020 |
PODS |
5.093636e-05 |
| 11,896 |
Explanations and Transparency in Collaborative Workflows |
2018 |
PODS |
5.093636e-05 |
| 12,230 |
Collaborative Data-Driven Workflows: Think Global, Act Local |
2013 |
PODS |
5.093636e-05 |
| 13,050 |
Database Method Schemas and Object Creation |
1993 |
PODS |
5.093636e-05 |
| 13,177 |
Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) |
1987 |
PODS |
5.093636e-05 |