An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th 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)
Synthesizing third normal form relations from functional dependencies
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
Principles of Database Systems
Principles of Database Systems
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Normalization and functional dependencies in the relational data base model.
Normalization and functional dependencies in the relational data base model.
An improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme
IEEE Transactions on Software Engineering
Deduction Graphs: An Algorithm and Applications
IEEE Transactions on Software Engineering
Reduced MVDs and minimal covers
ACM Transactions on Database Systems (TODS)
Database design for incomplete relations
ACM Transactions on Database Systems (TODS)
Graph Algorithms for Functional Dependency Manipulation
Journal of the ACM (JACM)
Horn minimization by iterative decomposition
Annals of Mathematics and Artificial Intelligence
Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets
CL '00 Proceedings of the First International Conference on Computational Logic
Information-theoretic tools for mining database structure from large data sets
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Generating a Condensed Representation for Association Rules
Journal of Intelligent Information Systems
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Propagating XML constraints to relations
Journal of Computer and System Sciences
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
Redundancy in logic II: 2CNF and Horn propositional formulae
Artificial Intelligence
Unifying Framework for Rule Semantics: Application to Gene Expression Data
Fundamenta Informaticae - Special issue ISMIS'05
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
Redundancy in logic III: Non-monotonic reasoning
Artificial Intelligence
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Exclusive and essential sets of implicates of Boolean functions
Discrete Applied Mathematics
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
The Implication Problem of Functional Dependencies in Complex-value Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
A new and useful syntactic restriction on rule semantics for tabular datasets
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
Autonomous sets: a method for hypergraph decomposition with applications in database theory
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
A subclass of Horn CNFs optimally compressible in polynomial time
Annals of Mathematics and Artificial Intelligence
Disjoint essential sets of implicates of a CQ Horn function
Annals of Mathematics and Artificial Intelligence
Boolean functions with a simple certificate for CNF complexity
Discrete Applied Mathematics
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Towards ad-hoc rule semantics for gene expression data
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Autonomous sets for the hypergraph of all canonical covers
Annals of Mathematics and Artificial Intelligence
FD covers and universal complements of simple projections
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Unifying Framework for Rule Semantics: Application to Gene Expression Data
Fundamenta Informaticae - Special issue ISMIS'05
An extended synthesis algorithm for relational database schema design
Proceedings of the 2013 International Conference on Information Systems and Design of Communication
Letting keys and functional dependencies out of the bag
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Boolean functions with long prime implicants
Information Processing Letters
A decomposition method for CNF minimality proofs
Theoretical Computer Science
On implicational bases of closure systems with unique critical sets
Discrete Applied Mathematics
Derivation digraphs for dependencies in ordinal and similarity-based data
Information Sciences: an International Journal
Hi-index | 0.01 |