| 276 |
Regular Path Queries with Constraints |
1997 |
PODS |
0.00029365217 |
| 375 |
PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) |
1988 |
PODS |
0.00025262028 |
| 880 |
DTD Inference for Views of XML Data |
2000 |
PODS |
0.00015642282 |
| 970 |
Typechecking for XML Transformers |
2000 |
PODS |
0.00014924533 |
| 990 |
Relational Transducers for Electronic Commerce |
1998 |
PODS |
0.00014800793 |
| 1,364 |
Validating Streaming XML Documents |
2002 |
PODS |
0.00012380546 |
| 1,877 |
Verification of Communicating Data-Driven Web Services |
2006 |
PODS |
0.00010234468 |
| 1,920 |
A Transaction Language Complete for Database Update and Specification |
1987 |
PODS |
0.00010092077 |
| 2,039 |
Views and Queries: Determinacy and Rewriting |
2005 |
PODS |
9.7059912e-05 |
| 2,365 |
Topological Queries in Spatial Databases |
1996 |
PODS |
8.9531668e-05 |
| 2,499 |
A System for Specification and Verification of Interactive, Data-driven Web Applications |
2006 |
SIGMOD |
8.6390448e-05 |
| 3,043 |
Tractable Query Languages for Complex Object Databases |
1991 |
PODS |
7.6632326e-05 |
| 3,197 |
A Verifier for Interactive, Data-driven Web Applications |
2005 |
SIGMOD |
7.404293e-05 |
| 3,249 |
Mapping a Semantic Database Model to the Relational Model |
1987 |
SIGMOD |
7.3223491e-05 |
| 3,434 |
XML with Data Values: Typechecking Revisited |
2001 |
PODS |
7.0965116e-05 |
| 3,498 |
Specification and Verification of Data-driven Web Services |
2004 |
PODS |
7.0370688e-05 |
| 3,892 |
Querying Spatial Databases via Topological Invariants |
1998 |
PODS |
6.6540282e-05 |
| 4,014 |
A Web Odyssey: from Codd to XML |
2001 |
PODS |
6.5300582e-05 |
| 4,494 |
Non-Deterministic Languages to Express Deterministic Transformations |
1990 |
PODS |
6.1363251e-05 |
| 4,643 |
Transactions And Integrity Constraints |
1985 |
PODS |
6.0213009e-05 |
| 4,744 |
Semantics and Expressiveness Issues in Active Databases |
1995 |
PODS |
5.9487921e-05 |
| 5,716 |
Datalog Unchained |
2021 |
PODS |
5.3569788e-05 |
| 5,890 |
Dynamic Constraints And Database Evolution |
1983 |
PODS |
5.2830191e-05 |
| 6,254 |
Queries are easier than you thought (probably) |
1992 |
PODS |
5.1318451e-05 |
| 6,505 |
Representing and Querying XML with Incomplete Information |
2001 |
PODS |
5.0282726e-05 |
| 6,915 |
VERIFAS: A Practical Verifier for Artifact Systems |
2018 |
VLDB |
4.8878659e-05 |
| 6,917 |
Verification of Hierarchical Artifact Systems |
2016 |
PODS |
4.8878659e-05 |
| 7,219 |
Deciding Properties of Transactional Schemas |
1986 |
PODS |
4.7930382e-05 |
| 7,288 |
Static Analysis of Active XML Systems |
2008 |
PODS |
4.7695781e-05 |
| 8,173 |
The Power of Methods With Parallel Semantics |
1991 |
VLDB |
4.5640563e-05 |
| 9,541 |
Object Projection Views In The Dynamic Relational Model |
1984 |
PODS |
4.3223802e-05 |
| 9,543 |
Transactions in Relational Databases (Preliminary Report) |
1984 |
VLDB |
4.3223802e-05 |
| 11,559 |
Projection Views of Register Automata |
2020 |
PODS |
4.1905499e-05 |
| 12,040 |
Collaborative Data-Driven Workflows: Think Global, Act Local |
2013 |
PODS |
4.1905499e-05 |
| 12,866 |
Database Method Schemas and Object Creation |
1993 |
PODS |
4.1905499e-05 |
| 12,990 |
Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) |
1987 |
PODS |
4.1905499e-05 |