Typed query languages for databases containing queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The functional guts of the Kleisli query system
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
A normal form for XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Kleisli, a functional query system
Journal of Functional Programming
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
From XQuery to relational logics
ACM Transactions on Database Systems (TODS)
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory
| Hi-index | 5.23 |