DALI-a knowledge base management system
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
A decompositional approach to database constraint enforcement
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Differential Relational Calculus for Integrity Maintenance
IEEE Transactions on Knowledge and Data Engineering
Rule-Based Consistency Enforcement for Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
A Data Manipulation Model: An Extension of the Alpha Expression
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Providing Time-Related Constraints for Conventional Database Systems
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Translating advanced integrity checking technology to SQL
Database integrity
| Hi-index | 0.00 |