The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
Applying an update method to a set of receivers (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A framework for implementing hypothetical queries
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Applying an update method to a set of receivers
ACM Transactions on Database Systems (TODS)
Extended Query Answering Using Integrity Rules
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Hi-index | 0.00 |