| 356 |
Regular Path Queries with Constraints |
1997 |
PODS |
0.00020103855 |
| 718 |
PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) |
1988 |
PODS |
0.00014530776 |
| 1,176 |
Relational Transducers for Electronic Commerce |
1998 |
PODS |
0.00011643011 |
| 1,315 |
DTD Inference for Views of XML Data |
2000 |
PODS |
0.00011058412 |
| 1,406 |
Typechecking for XML Transformers |
2000 |
PODS |
0.00010749818 |
| 1,767 |
A Transaction Language Complete for Database Update and Specification |
1987 |
PODS |
9.6939822e-05 |
| 1,807 |
Validating Streaming XML Documents |
2002 |
PODS |
9.5963125e-05 |
| 2,044 |
Views and Queries: Determinacy and Rewriting |
2005 |
PODS |
9.137464e-05 |
| 2,164 |
Verification of Communicating Data-Driven Web Services |
2006 |
PODS |
8.9346715e-05 |
| 3,046 |
Tractable Query Languages for Complex Object Databases |
1991 |
PODS |
7.7144804e-05 |
| 3,218 |
Mapping a Semantic Database Model to the Relational Model |
1987 |
SIGMOD |
7.5212385e-05 |
| 3,458 |
A Verifier for Interactive, Data-driven Web Applications |
2005 |
SIGMOD |
7.284865e-05 |
| 3,756 |
XML with Data Values: Typechecking Revisited |
2001 |
PODS |
7.0446245e-05 |
| 3,771 |
Topological Queries in Spatial Databases |
1996 |
PODS |
7.0297786e-05 |
| 3,796 |
Non-Deterministic Languages to Express Deterministic Transformations |
1990 |
PODS |
7.0166914e-05 |
| 3,907 |
A System for Specification and Verification of Interactive, Data-driven Web Applications |
2006 |
SIGMOD |
6.9326298e-05 |
| 4,170 |
Specification and Verification of Data-driven Web Services |
2004 |
PODS |
6.7615597e-05 |
| 4,266 |
A Web Odyssey: from Codd to XML |
2001 |
PODS |
6.6972871e-05 |
| 5,067 |
Datalog Unchained |
2021 |
PODS |
6.2898972e-05 |
| 5,082 |
Transactions And Integrity Constraints |
1985 |
PODS |
6.2847136e-05 |
| 5,395 |
Semantics and Expressiveness Issues in Active Databases |
1995 |
PODS |
6.1496965e-05 |
| 5,429 |
Querying Spatial Databases via Topological Invariants |
1998 |
PODS |
6.1337552e-05 |
| 6,214 |
Dynamic Constraints And Database Evolution |
1983 |
PODS |
5.8479403e-05 |
| 6,626 |
Representing and Querying XML with Incomplete Information |
2001 |
PODS |
5.7291244e-05 |
| 6,684 |
Queries are easier than you thought (probably) |
1992 |
PODS |
5.7086289e-05 |
| 7,503 |
Static Analysis of Active XML Systems |
2008 |
PODS |
5.5076551e-05 |
| 7,662 |
VERIFAS: A Practical Verifier for Artifact Systems |
2018 |
VLDB |
5.4772833e-05 |
| 7,664 |
Verification of Hierarchical Artifact Systems |
2016 |
PODS |
5.4772833e-05 |
| 7,766 |
Deciding Properties of Transactional Schemas |
1986 |
PODS |
5.4559822e-05 |
| 8,740 |
The Power of Methods With Parallel Semantics |
1991 |
VLDB |
5.2893082e-05 |
| 10,095 |
Object Projection Views In The Dynamic Relational Model |
1984 |
PODS |
5.0806471e-05 |
| 10,097 |
Transactions in Relational Databases (Preliminary Report) |
1984 |
VLDB |
5.0806471e-05 |
| 12,055 |
Projection Views of Register Automata |
2020 |
PODS |
4.9793485e-05 |
| 12,196 |
Explanations and Transparency in Collaborative Workflows |
2018 |
PODS |
4.9793485e-05 |
| 12,521 |
Collaborative Data-Driven Workflows: Think Global, Act Local |
2013 |
PODS |
4.9793485e-05 |
| 13,340 |
Database Method Schemas and Object Creation |
1993 |
PODS |
4.9793485e-05 |
| 13,467 |
Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) |
1987 |
PODS |
4.9793485e-05 |