PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Translating advanced integrity checking technology to SQL
Database integrity
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Hi-index | 0.00 |