Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Safety and translation of calculus queries with scalar functions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Safe Database Queries with External Functions
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Safety, domain independence and translation of complex value database queries
Information Sciences: an International Journal
| Hi-index | 5.23 |