| 274 |
Regular Path Queries with Constraints |
1997 |
PODS |
0.00029390022 |
| 374 |
PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) |
1988 |
PODS |
0.00025286717 |
| 882 |
DTD Inference for Views of XML Data |
2000 |
PODS |
0.00015657456 |
| 970 |
Typechecking for XML Transformers |
2000 |
PODS |
0.00014939578 |
| 989 |
Relational Transducers for Electronic Commerce |
1998 |
PODS |
0.00014814282 |
| 1,356 |
Validating Streaming XML Documents |
2002 |
PODS |
0.0001239231 |
| 1,875 |
Verification of Communicating Data-Driven Web Services |
2006 |
PODS |
0.00010243508 |
| 1,916 |
A Transaction Language Complete for Database Update and Specification |
1987 |
PODS |
0.00010101977 |
| 2,034 |
Views and Queries: Determinacy and Rewriting |
2005 |
PODS |
9.7156155e-05 |
| 2,357 |
Topological Queries in Spatial Databases |
1996 |
PODS |
8.9617862e-05 |
| 2,496 |
A System for Specification and Verification of Interactive, Data-driven Web Applications |
2006 |
SIGMOD |
8.6474041e-05 |
| 3,040 |
Tractable Query Languages for Complex Object Databases |
1991 |
PODS |
7.6707607e-05 |
| 3,190 |
A Verifier for Interactive, Data-driven Web Applications |
2005 |
SIGMOD |
7.4113639e-05 |
| 3,243 |
Mapping a Semantic Database Model to the Relational Model |
1987 |
SIGMOD |
7.3294351e-05 |
| 3,427 |
XML with Data Values: Typechecking Revisited |
2001 |
PODS |
7.1033924e-05 |
| 3,494 |
Specification and Verification of Data-driven Web Services |
2004 |
PODS |
7.040662e-05 |
| 3,890 |
Querying Spatial Databases via Topological Invariants |
1998 |
PODS |
6.6604161e-05 |
| 4,010 |
A Web Odyssey: from Codd to XML |
2001 |
PODS |
6.5351699e-05 |
| 4,491 |
Non-Deterministic Languages to Express Deterministic Transformations |
1990 |
PODS |
6.1422281e-05 |
| 4,640 |
Transactions And Integrity Constraints |
1985 |
PODS |
6.0271345e-05 |
| 4,747 |
Semantics and Expressiveness Issues in Active Databases |
1995 |
PODS |
5.9545121e-05 |
| 5,705 |
Datalog Unchained |
2021 |
PODS |
5.3621239e-05 |
| 5,884 |
Dynamic Constraints And Database Evolution |
1983 |
PODS |
5.2881037e-05 |
| 6,255 |
Queries are easier than you thought (probably) |
1992 |
PODS |
5.1367617e-05 |
| 6,509 |
Representing and Querying XML with Incomplete Information |
2001 |
PODS |
5.0331402e-05 |
| 6,913 |
VERIFAS: A Practical Verifier for Artifact Systems |
2018 |
VLDB |
4.8925595e-05 |
| 6,915 |
Verification of Hierarchical Artifact Systems |
2016 |
PODS |
4.8925595e-05 |
| 7,220 |
Deciding Properties of Transactional Schemas |
1986 |
PODS |
4.7976464e-05 |
| 7,291 |
Static Analysis of Active XML Systems |
2008 |
PODS |
4.7741469e-05 |
| 8,172 |
The Power of Methods With Parallel Semantics |
1991 |
VLDB |
4.5684406e-05 |
| 9,540 |
Object Projection Views In The Dynamic Relational Model |
1984 |
PODS |
4.3265281e-05 |
| 9,542 |
Transactions in Relational Databases (Preliminary Report) |
1984 |
VLDB |
4.3265281e-05 |
| 11,555 |
Projection Views of Register Automata |
2020 |
PODS |
4.1945683e-05 |
| 12,032 |
Collaborative Data-Driven Workflows: Think Global, Act Local |
2013 |
PODS |
4.1945683e-05 |
| 12,857 |
Database Method Schemas and Object Creation |
1993 |
PODS |
4.1945683e-05 |
| 12,979 |
Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) |
1987 |
PODS |
4.1945683e-05 |