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)
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)
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
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
Normal forms and relational database operators
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
An extension of conflict-free multivalued dependency sets
ACM Transactions on Database Systems (TODS)
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Deduction Graphs: An Algorithm and Applications
IEEE Transactions on Software Engineering
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
A normal form for relational databases that is based on domains and keys
ACM Transactions on Database Systems (TODS)
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Journal of the ACM (JACM)
On the Complexity of Testing Implications of Functional and Join Dependencies
Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
Journal of the ACM (JACM)
Horn clauses and database dependencies
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A normal form for XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Elimination of intersection amomalies from database schemes
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Fast In-Place Verification of Data Dependencies
IEEE Transactions on Knowledge and Data Engineering
On the Properties of Extended Inclusion Dependencies
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Reflections on Boyce-Codd Normal Form
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Temporal Dependencies Generalized for Spatial and Other Dimensions
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Horn clauses and database dependencies (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Unary inclusion dependencies have polynomial time inference problems
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Horn clauses and functional dependencies in complex-value databases
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Impacts of logic and databases (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Some analytic tools for the design of relational database systems
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Constraint acquisition you can chase but you cannot find
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Boolean Constraints for XML Modeling
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Spoilt for Choice: Full First-Order Hierarchical Decompositions
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Numerical constraints on XML data
Information and Computation
Appropriate reasoning about data dependencies in fixed and undetermined universes
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
When data dependencies over SQL tables meet the logics of paradox and S-3
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Border algorithms for computing hasse diagrams of arbitrary lattices
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
The boyce-codd-heath normal form for SQL
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Magic inference rules for probabilistic deduction under taxonomic knowledge
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Foundations for a fourth normal form over SQL-Like databases
Conceptual Modelling and Its Theoretical Foundations
ACM Transactions on Database Systems (TODS)
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
A Proof System for Dependencies for Information Relations
Fundamenta Informaticae
Using data samples in validating data models
International Journal of Knowledge Engineering and Soft Data Paradigms
Hi-index | 0.01 |