On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Incremental integrity checking: limitations and possibilities
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A local algorithm for incremental evaluation of tabled logic programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Transaction management with integrity checking
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
| Hi-index | 0.00 |