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 complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77 Proceedings of the 1977 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.
Normalization and functional dependencies in the relational data base model.
Normalization and functional dependencies in the relational data base model.
The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Some classes of multilevel relational structures
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Normalizing and optimising documentation
ACM SIGDOC Asterisk Journal of Computer Documentation
Semantics for null extended nested relations
ACM Transactions on Database Systems (TODS)
An Extended Relational Data Model For Probabilistic Reasoning
Journal of Intelligent Information Systems
Hierarchical schemata for relational databases
ACM Transactions on Database Systems (TODS)
An improved third normal form for relational databases
ACM Transactions on Database Systems (TODS)
Tree queries: a simple class of relational queries
ACM Transactions on Database Systems (TODS)
Decompositions and functional dependencies in relations
ACM Transactions on Database Systems (TODS)
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)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
The Relational Structure of Belief Networks
Journal of Intelligent Information Systems
Entity-relationship approach to the conceptual schema design
SIGMOD '80 Proceedings of the 1980 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
Non first normal form relations to represent hierarchically organized data
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
The format model: a theory of database organization
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A Less Costly Constraints Checking for Join Dependency
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
On Line Processing of Compacted Relations
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Embedded implicational dependencies and their inference problem
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
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
Logical and physical modeling of statistical scientific databases
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
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
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
Algorithmic applications for a new result on multivalued dependencies
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Tools for information system dynamics management
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Information systems design approach integrating data and transactions
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Impacts of logic and databases (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Derived relations: a unified mechanism for views, snapshots, and distributed data
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
The implication problem for measure-based constraints
Information Systems
Constraint acquisition you can chase but you cannot find
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
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)
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
On learning multivalued dependencies with queries
Theoretical Computer Science
Testing implication of probabilistic dependencies
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in 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
ACM Transactions on Database Systems (TODS)
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
Negative results on learning multivalued dependencies with queries
Information Processing Letters
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
Aggregation and ordering in factorised databases
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |
The purpose of this paper is to present a new approach to the conceptual design of logical schemata for relational databases. One-to-one, one-to-many, and many-to-many relationships between the attributes of database relations are modeled by means of functional dependencies and multivalued dependencies. A new type of dependency is introduced: first-order hierarchical decomposition. The properties of this new type of dependency are studied and related to the normalization process of relations. The relationship between the concept of first-order hierarchical decomposition and the notion of hierarchical organization of data is discussed through the normalization process.