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)
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
Analysis and design of relational schemata for database systems.
Analysis and design of relational schemata for database systems.
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Finitely Specifiable Implicational Dependency Families
Journal of the ACM (JACM)
Tuple sequences and lexicographic indexes
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)
Dynamic functional dependencies and database aging
Journal of the ACM (JACM)
A new normal form for nested relations
ACM Transactions on Database Systems (TODS)
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)
Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems
ACM Transactions on Database Systems (TODS)
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Simple conditions for guaranteeing higher normal forms in relational databases
ACM Transactions on Database Systems (TODS)
CIKM '94 Proceedings of the third international conference on Information and knowledge management
An integrated approach to logical design of relational database schemes
ACM Transactions on Database Systems (TODS)
A normal form for precisely characterizing redundancy in nested relations
ACM Transactions on Database Systems (TODS)
Object normal forms and dependency constraints for object-oriented schemata
ACM Transactions on Database Systems (TODS)
On the design of relational database schemata
ACM Transactions on Database Systems (TODS)
Hierarchical schemata for relational databases
ACM Transactions on Database Systems (TODS)
Consequences of assuming a universal relation
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)
A simplied universal relation assumption and its properties
ACM Transactions on Database Systems (TODS)
A new normal form for the design of relational database schemata
ACM Transactions on Database Systems (TODS)
Tree queries: a simple class of relational queries
ACM Transactions on Database Systems (TODS)
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)
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
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)
Independent components of relations
ACM Transactions on Database Systems (TODS)
On the menbership problem for functional and multivalued dependencies in relational databases
ACM Transactions on Database Systems (TODS)
Calculating constraints on relational expression
ACM Transactions on Database Systems (TODS)
Decompositions and functional dependencies in relations
ACM Transactions on Database Systems (TODS)
Workload models for DBMS performance evaluation
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
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)
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
On the Complexity of Testing Implications of Functional and Join Dependencies
Journal of the ACM (JACM)
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
Journal of the ACM (JACM)
On the Equivalence of Database Models
Journal of the ACM (JACM)
A Complete Axiomatization of Full Join Dependencies
Journal of the ACM (JACM)
Properties of functional-dependency families
Journal of the ACM (JACM)
Horn clauses and database dependencies
Journal of the ACM (JACM)
On the Desirability of Acyclic Database Schemes
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM (JACM)
Algorithm for discovering multivalued dependencies
Proceedings of the tenth international conference on Information and knowledge management
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
The Relational Structure of Belief Networks
Journal of Intelligent Information Systems
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
The interaction between functional dependencies and template dependencies
SIGMOD '80 Proceedings of the 1980 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
Can we use the universal instance assumption without using nulls?
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
Properties of database schemata with functional dependencies
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Inference rules for functional and inclusion dependencies
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
On equivalences of database schemes
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
A theory of data dependencies over relational expressions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Controlling FD and MVD Inferences in Multilevel Relational Database Systems
IEEE Transactions on Knowledge and Data Engineering
Constructing the Dependency Structure of a Multiagent Probabilistic Network
IEEE Transactions on Knowledge and Data Engineering
Fast In-Place Verification of Data Dependencies
IEEE Transactions on Knowledge and Data Engineering
On Axiomatizing Probabilistic Conditional Independencies in Bayesian Networks
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Chasing Relational Database Constraints Backwards
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The membership problem for probabilistic and data dependencies
Technologies for constructing intelligent systems
Embedded implicational dependencies and their inference problem
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Properties of acyclic database schemes
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
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
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
Decomposition of a relation scheme into Boyce-Codd Normal Form
ACM SIGACT News
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
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
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
On a problem of Fagin concerning multivalued dependencies in relational databases
Theoretical Computer Science
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
Strong types for relational databases
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
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
Full hierarchical dependencies in fixed and undetermined universes
Annals of Mathematics and Artificial Intelligence
The decomposition versus synthetic approach to relational database design
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
A sophisticate's introduction to database normalization theory
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
The information preserving properties of relational database transformations
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Mutual dependencies and some results on undecomposable relations
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Multivalued dependencies with null values in relational data bases
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Algorithmic applications for a new result on multivalued dependencies
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
What does Boyce-Codd normal form do?
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
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
The implication problem for measure-based constraints
Information Systems
Database theory and cylindric lattices
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
From spreadsheets to relational databases and back
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Query rewriting for detection of privacy violation through inferencing
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
Spoilt for Choice: Full First-Order Hierarchical Decompositions
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Functional dependencies in a relational database and propositional logic
IBM Journal of Research and Development
Armstrong's Inference Rules in Dedekind Categories
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
The Implication Problem of Functional Dependencies in Complex-value Databases
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)
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Multivalued dependencies in XML
BNCOD'03 Proceedings of the 20th British national conference on Databases
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
A formal context for symmetric dependencies
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
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
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
Hypergraphs of multiparty secrets
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
A ternary knowledge relation on secrets
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Information flow on directed acyclic graphs
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
The functional dependence relation on hypergraphs of secrets
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Testing implication of probabilistic dependencies
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Hypergraphs of multiparty secrets
Annals of Mathematics and Artificial Intelligence
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
On the existence of armstrong data trees for XML functional dependencies
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
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)
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
Generalized Quantifiers in Dependence Logic
Journal of Logic, Language and Information
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
Independence in Information Spaces
Studia Logica
Probabilistic conditional independence under schema certainty and uncertainty
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Using data samples in validating data models
International Journal of Knowledge Engineering and Soft Data Paradigms
Model-based programming environments for spreadsheets
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Exploiting data dependencies with null values for ontology extraction
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
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
An overview of recent data base research
ACM SIGMIS Database
| Hi-index | 0.00 |
We investigate the inference rules that can be applied to functional and multivalued dependencies that exist in a database relation. Three types of rules are discussed. First, we list the well known rules for functional dependencies. Then we investigate the rules for multivalued dependencies. It is shown that for each rule for functional dependencies the same rule or a similar rule holds for multivalued dependencies. There is, however, one additional rule for multivalued dependencies that has no parallel among the rules for functional dependencies. Finally, we present rules that involve functional and multivalued dependencies together. The main result of the paper is that the rules presented are complete for the family of functional and multivalued dependencies.