An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Synthesizing third normal form relations from functional dependencies
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
Independent components of relations
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
On the semantics of the relational data model
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
A unified approach to functional dependencies and relations
SIGMOD '75 Proceedings of the 1975 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
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.
Formal languages and their relation to automata
Formal languages and their relation to automata
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Closures of database hypergraphs
Journal of the ACM (JACM)
Elimination of intersection anomalies from database schemes
Journal of the ACM (JACM)
Sort sets in the relational model
Journal of the ACM (JACM)
Normalization of relations and PROLOG
Communications of the ACM
Unifying functional and multivalued dependencies for relational database design
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Equational theories and database constraints
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Database theory—past and future
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical design of relational database schemes
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computing covers for embedded functional dependencies
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A theory of intersection anomalies in relational database schemes
Journal of the ACM (JACM)
A synthesis algorithm for a class of 4NF
ACM SIGSMALL/PC Notes
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems
ACM Transactions on Database Systems (TODS)
New methods and fast algorithms for database normalization
ACM Transactions on Database Systems (TODS)
A characterization of constant-time maintainability for BCNF database schemes
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Deduction Graphs: An Algorithm and Applications
IEEE Transactions on Software Engineering
Efficient optimization of simple chase join expressions
ACM Transactions on Database Systems (TODS)
Can constant-time-maintainability be more practical?
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Practical algorithms for finding prime attributes and testing normal forms
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
G-base fourth normal form in relational database
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Polynomial time designs toward both BCNF and efficient data manipulation
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Evaluation of queries in independent database schemes
Journal of the ACM (JACM)
Constant-time-maintainable BCNF database schemes
ACM Transactions on Database Systems (TODS)
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Constant-time maintainability: a generalization of independence
ACM Transactions on Database Systems (TODS)
Updating relational databases through weak instance interfaces
ACM Transactions on Database Systems (TODS)
Safety and translation of calculus queries with scalar functions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Reduced MVDs and minimal covers
ACM Transactions on Database Systems (TODS)
An integrated approach to logical design of relational database schemes
ACM Transactions on Database Systems (TODS)
Fundamental techniques for order optimization
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Perspectives on database theory
ACM SIGACT News
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Object normal forms and dependency constraints for object-oriented schemata
ACM Transactions on Database Systems (TODS)
On the decidability and axiomatization of query finiteness in deductive databases
Journal of the ACM (JACM)
An axiomatic approach to deciding query safety in deductive databases
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database design for incomplete relations
ACM Transactions on Database Systems (TODS)
On the design of relational database schemata
ACM Transactions on Database Systems (TODS)
An improved third normal form for relational databases
ACM Transactions on Database Systems (TODS)
A formal approach to the definition and the design of conceptual schemata for databased systems
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
A new normal form for the design of relational database schemata
ACM Transactions on Database Systems (TODS)
A characterization of globally consistent databases and their correct access paths
ACM Transactions on Database Systems (TODS)
On the menbership problem for functional and multivalued dependencies in relational databases
ACM Transactions on Database Systems (TODS)
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Journal of the ACM (JACM)
Minimum Covers in Relational Database Model
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)
Graph Algorithms for Functional Dependency Manipulation
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM (JACM)
A pegging method for decomposing relations in databases
CSC '87 Proceedings of the 15th annual conference on Computer Science
Grammatical relational database model (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
Information derivability analysis in logical information systems
Communications of the ACM
Efficient evaluation of XML middle-ware queries
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
An extension of the relational data model to incorporate ordered domains
ACM Transactions on Database Systems (TODS)
A hierarchical method for synthesizing relations
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
A new characterization of independence
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Can we use the universal instance assumption without using nulls?
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
SilkRoute: A framework for publishing relational data in XML
ACM Transactions on Database Systems (TODS)
Inference rules for functional and inclusion dependencies
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
On the recognition of coverings of acyclic database hypergraphs
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Sort sets in the relational model
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
A universal relation database system implemented via the network model
PODS '82 Proceedings of the 1st 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
Properties of composite of closure operations and choice functions
Acta Cybernetica
Justification for Inclusion Dependency Normal Form
IEEE Transactions on Knowledge and Data Engineering
A Parallel Algorithm for Relational Database Normalization
IEEE Transactions on Parallel and Distributed Systems
Methods for the administration of textual data in database systems
SIGIR '80 Proceedings of the 3rd annual ACM conference on Research and development in information retrieval
FUN: An Efficient Algorithm for Mining Functional and Embedded Dependencies
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Equivalence and Mapping of Database Schemes
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
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
Database Decomposition into Fourth Normal Form
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets
CL '00 Proceedings of the First International Conference on Computational Logic
Why is the snowflake schema a good data warehouse design?
Information Systems
Data processing and computer science theory
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
A requirements and design aid for relational data bases
ICSE '81 Proceedings of the 5th international conference on Software engineering
Equivalence of relational database schemes
STOC '79 Proceedings of the eleventh 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
Decomposition of a relation scheme into Boyce-Codd Normal Form
ACM '80 Proceedings of the ACM 1980 annual conference
On the implication problem for functional dependencies in the higher-order entity-relationship model
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Lexicographically Ordered Functional Dependencies and Their Application to Temporal Relations
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Reasoning about Uniqueness Constraints in Object Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Monadic datalog and the expressive power of languages for Web information extraction
Journal of the ACM (JACM)
Horizontal decompositions and their impact on query solving
ACM SIGMOD Record
Decomposition of a relation scheme into Boyce-Codd Normal Form
ACM SIGACT News
Normalisation in the presence of lists
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Some problems related to keys and the Boyce-Codd normal form
Acta Cybernetica
Generating a Condensed Representation for Association Rules
Journal of Intelligent Information Systems
Multi-valued dependencies in the presence of lists
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Decidable containment of recursive queries
Theoretical Computer Science - Database theory
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
Tractable database design through bounded treewidth
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
On a problem of Fagin concerning multivalued dependencies in relational databases
Theoretical Computer Science
Horn clauses and functional dependencies in complex-value databases
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
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
On inferences of full hierarchical dependencies
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Domination normal form: decomposing relational database schemas
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Binary equality implication constraints, normal forms and data redundancy
Information Processing Letters
Full hierarchical dependencies in fixed and undetermined universes
Annals of Mathematics and Artificial Intelligence
A sophisticate's introduction to database normalization theory
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Algorithmic applications for a new result on multivalued dependencies
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Database design tools: an expert system approach
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Algorithms for acyclic database schemes
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
RRXS: redundancy reducing XML storage in relations
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
An approach to developing complex database schemas using form types
Software—Practice & Experience
Quasi-concave functions on meet-semilattices
Discrete Applied Mathematics
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)
Constraint acquisition you can chase but you cannot find
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Recent Advances in Constraints
Definition of database transactions by the casual user
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
From datalog rules to efficient programs with time and space guarantees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
Reasoning about record matching rules
Proceedings of the VLDB Endowment
Tractable database design and datalog abduction through bounded treewidth
Information Systems
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
Datalog programs over infinite databases, revisited
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Efficient inclusion for a class of XML types with interleaving and counting
DBPL'07 Proceedings of the 11th international conference on Database programming languages
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
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
On the role of the complementation rule for data dependencies over incomplete relations
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Solving the implication problem for XML functional dependencies with properties
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Dynamic constraints for record matching
The VLDB Journal — The International Journal on Very Large Data Bases
Magic inference rules for probabilistic deduction under taxonomic knowledge
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Characterization of the interaction of XML functional dependencies with DTDs
ICDT'07 Proceedings of the 11th international conference on Database Theory
Finding faithful boyce-codd normal form decompositions
AAIM'06 Proceedings of the Second international conference on Algorithmic Aspects in Information and Management
A dichotomy in the complexity of consistent query answering for queries with two atoms
Information Processing Letters
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
On multivalued dependencies in fixed and undetermined universes
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
Normalizing relational database schemas using mathematica
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
About the family of closure systems preserving non-unit implications in the guigues-duquenne base
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Certain conjunctive query answering in first-order logic
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
Computer Communications
Fundamentals of order dependencies
Proceedings of the VLDB Endowment
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
Unifying Framework for Rule Semantics: Application to Gene Expression Data
Fundamenta Informaticae - Special issue ISMIS'05
Efficient derivation of numerical dependencies
Information Systems
An efficient reasoning method for dependencies over similarity and ordinal data
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
An extended synthesis algorithm for relational database schema design
Proceedings of the 2013 International Conference on Information Systems and Design of Communication
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
Expressiveness and complexity of order dependencies
Proceedings of the VLDB Endowment
Derivation digraphs for dependencies in ordinal and similarity-based data
Information Sciences: an International Journal
Hi-index | 0.03 |
Problems related to functional dependencies and the algorithmic design of relational schemas are examined. Specifically, the following results are presented: (1) a tree model of derivations of functional dependencies from other functional dependencies; (2) a linear-time algorithm to test if a functional dependency is in the closure of a set of functional dependencies; (3) a quadratic-time implementation of Bernstein's third normal form schema synthesis algorithm.Furthermore, it is shown that most interesting algorithmic questions about Boyce-Codd normal form and keys are NP-complete and are therefore probably not amenable to fast algorithmic solutions.