A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
On the undecidability of implications between embedded multivalued database dependencies
Information and Computation
The Implication Problem for Data Dependencies
Proceedings of the 8th Colloquium on Automata, Languages and Programming
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
A ternary knowledge relation on secrets
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
| Hi-index | 0.00 |