Chasing constrained tuple-generating dependencies
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Rewriting general conjunctive queries using views
ADC '02 Proceedings of the 13th Australasian database conference - Volume 5
Rewriting Unions of General Conjunctive Queries Using Views
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Reasoning with Disjunctive Constrained Tuple-Generating Dependencies
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Computing complete answers to queries in the presence of limited access patterns
The VLDB Journal — The International Journal on Very Large Data Bases
Automatic software model checking via constraint logic
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Automatic software model checking using CLP
ESOP'03 Proceedings of the 12th European conference on Programming
A sound and complete chase procedure for constrained tuple-generating dependencies
Journal of Intelligent Information Systems
| Hi-index | 0.01 |