Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Normalization and hierarchical dependencies in the relational data model
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
On the menbership problem for functional and multivalued dependencies in relational databases
ACM Transactions on Database Systems (TODS)
Decompositions and functional dependencies in relations
ACM Transactions on Database Systems (TODS)
On Axiomatizing Multivalued Dependencies in Relational Databases
Journal of the ACM (JACM)
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Journal of the ACM (JACM)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
A relational model of data for large shared data banks
Communications of the ACM
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
A complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Inferences involving embedded multivalued dependencies and transitive dependencies
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
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
Horn clauses and database dependencies (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Sort sets in the relational model
Journal of the ACM (JACM)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
Horn clauses and database dependencies
Journal of the ACM (JACM)
Sort sets in the relational model
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Inclusion dependencies and their interaction with functional dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Semigraphoids and structures of probabilistic conditional independence
Annals of Mathematics and Artificial Intelligence
Conditional independence structures examined via minors
Annals of Mathematics and Artificial Intelligence
Separoids: A Mathematical Framework for Conditional Independence and Irrelevance
Annals of Mathematics and Artificial Intelligence
A Group-Select Operation for Relational Algebra and Implications for Database Machine Design
IEEE Transactions on Software Engineering
The membership problem for probabilistic and data dependencies
Technologies for constructing intelligent systems
An introduction to functional independency in relational database normalization
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Implementation considerations for improving data integrity in normalized relational databases
Proceedings of the 47th Annual Southeast Regional Conference
Testing implication of probabilistic dependencies
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
On axiomatization of probabilistic conditional independencies
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Conditional independences in gaussian vectors and rings of polynomials
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Generalized Quantifiers in Dependence Logic
Journal of Logic, Language and Information
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
| Hi-index | 0.00 |