Chasing constrained tuple-generating dependencies
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Set constraints with intersection
Information and Computation - Special issue: LICS'97
A sound and complete chase procedure for constrained tuple-generating dependencies
Journal of Intelligent Information Systems
Hi-index | 0.00 |