The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
Unit Refutations and Horn Sets
Journal of the ACM (JACM)
Horn clauses and database dependencies
Journal of the ACM (JACM)
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Principles of Database Systems
Principles of Database Systems
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
A complete axiomatization for a large class of dependencies in relational datatbases
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems
ACM Transactions on Database Systems (TODS)
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
Horn clauses and database dependencies
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Algebraic aspects of relational database decomposition
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
The complexity of embedded axiomatization for a class of closed database views
Annals of Mathematics and Artificial Intelligence
Constraint acquisition you can chase but you cannot find
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
A new approach to inferences of semantic constraints
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
On The Family Of Conditional Implicational Dependencies
Fundamenta Informaticae
| Hi-index | 0.00 |