A relational model of data for large shared data banks
Communications of the ACM
A unified approach to functional dependencies and relations
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Normalization and functional dependencies in the relational data base model.
Normalization and functional dependencies in the relational data base model.
Comment on "decomposition of a data base and the theory of boolean switching fynctions"
IBM Journal of Research and Development
An extension of conflict-free multivalued dependency sets
ACM Transactions on Database Systems (TODS)
SYSTEM/U: a database system based on the universal relation assumption
ACM Transactions on Database Systems (TODS)
A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Closures of database hypergraphs
Journal of the ACM (JACM)
Normalization of relations and PROLOG
Communications of the ACM
Alpha-acyclic decompositions of relational database schemes
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A logical design methodology for relational databases using the extended entity-relationship model
ACM Computing Surveys (CSUR)
One flavor assumption and gamma-acyclicity for universal relation views
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Unifying functional and multivalued dependencies for relational database design
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
ACM SIGMOD Record
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Database theory—past and future
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 synthesis algorithm for a class of 4NF
ACM SIGSMALL/PC Notes
New methods and fast algorithms for database normalization
ACM Transactions on Database Systems (TODS)
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
Model management and structured modeling: the role of an information resource dictionary system
Communications of the ACM
Models for the Combined Logical and Physical Design of Databases
IEEE Transactions on Computers
Polynomial time designs toward both BCNF and efficient data manipulation
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Expert DB: an assistant database design system
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
A team-oriented, project-intensive database course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Independence-reducible database schemes
Journal of the ACM (JACM)
Ad Hoc Query: a reusable database access capability
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
An integrated approach to logical design of relational database schemes
ACM Transactions on Database Systems (TODS)
Deriving functional dependencies from the entity-relationship model
Communications of the ACM
How good is that data in the warehouse?
ACM SIGMIS Database
On the foundations of the universal relation model
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)
An improved third normal form for relational databases
ACM Transactions on Database Systems (TODS)
A normal form for relational databases that is based on domains and keys
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)
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
A new normal form for the design of relational database schemata
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
A characterization of globally consistent databases and their correct access paths
ACM Transactions on Database Systems (TODS)
On Kent's “Consequences of assuming a universal relation” (Technical correspondance)
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)
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)
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)
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)
Minimum Covers in Relational Database Model
Journal of the ACM (JACM)
Graph Algorithms for Functional Dependency Manipulation
Journal of the ACM (JACM)
U2RS: an upgradable universal relation system
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A pegging method for decomposing relations in databases
CSC '87 Proceedings of the 15th annual conference on Computer Science
The Logical Record Access Approach to Database Design
ACM Computing Surveys (CSUR)
The implication problem for inclusion dependencies: a graph approach
ACM SIGMOD Record
A proposal for information systems design and management
ACM SIGDA Newsletter
A hierarchical method for synthesizing relations
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
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
Synthesizing independent database schemas
SIGMOD '79 Proceedings of the 1979 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
Improving semantic specification in a relational database
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Designing globally consistent network schemas
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
A systematic approach to relational database theory
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
A technique for translating states between database schemata
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Relative information capacity of simple relational database schemata
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
Assumptions in relational database theory
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '82 Proceedings of the 1st 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
The implication and finite implication problems for typed template dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A Partition Model Approach to Updating Universal Scheme Interfaces
IEEE Transactions on Knowledge and Data Engineering
A Parallel Algorithm for Relational Database Normalization
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Designing Functional Dependencies for XML
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Operations and the Properties on Non-First-Normal-Form Relational Databases
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Comprehensive Approach to the Design of Relational Database Schemes
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Relationship Merging in Schema Integration
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Designing Good Semi-Structured Databases and Conceptual Modeling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
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 requirements and design aid for relational data bases
ICSE '81 Proceedings of the 5th international conference on Software engineering
An Introduction To DIAM Levels Of Abstraction In Accessing Information
ACM '78 Proceedings of the 1978 annual conference
Equivalence of relational database schemes
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Minimum covers in the relational database model (Extended Abstract)
STOC '79 Proceedings of the eleventh 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
Reasoning about Uniqueness Constraints in Object Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Research directions in data base management systems
ACM SIGMOD Record
A note on decompositions of relational databases
ACM SIGMOD Record
Decomposition of a relation scheme into Boyce-Codd Normal Form
ACM SIGACT News
An approach to analyzing the information content of existing databases
ACM SIGMIS Database
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
A relational database model for representation of formal specifications
Proceedings of the 44th annual Southeast regional conference
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
XML design for relational storage
Proceedings of the 16th international conference on World Wide Web
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
Design and performance tools for data base systems
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
A relational data language with simplified binary relation handling capability
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
The decomposition versus synthetic approach to relational database design
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Decomposition and composition of a relational database
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
A normal form for abstract syntax
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
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
The ADD system: an architecture for distributed databases
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Towards a universal relation interface
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
The functional dependency model for logical database design
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Algorithms for acyclic database schemes
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
A pragmatic approach to database design
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
What does Boyce-Codd normal form do?
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Reconciling requirement-driven data warehouses with data sources via multidimensional normal forms
Data & Knowledge Engineering
Constraint acquisition you can chase but you cannot find
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
JMathNorm: A Database Normalization Tool Using Mathematica
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
A methodology for information system design
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Definition of database transactions by the casual user
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Database-oriented decision support systems
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
Functional dependencies in a relational database and propositional logic
IBM Journal of Research and Development
An information-theoretic analysis of worst-case redundancy in database design
ACM Transactions on Database Systems (TODS)
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)
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 web-based tool for teaching data modeling
Journal of Computing Sciences in Colleges
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
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
On multivalued dependencies in fixed and undetermined universes
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
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
ACM Transactions on Database Systems (TODS)
Appropriate inferences of data dependencies in relational databases
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
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
XSym'07 Proceedings of the 5th international conference on Database and XML Technologies
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
An extended synthesis algorithm for relational database schema design
Proceedings of the 2013 International Conference on Information Systems and Design of Communication
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.05 |
It has been proposed that the description of a relational database can be formulated as a set of functional relationships among database attributes. These functional relationships can then be used to synthesize algorithmically a relational scheme. It is the purpose of this paper to present an effective procedure for performing such a synthesis. The schema that results from this procedure is proved to be in Codd's third normal form and to contain the fewest possible number of relations. Problems with earlier attempts to construct such a procedure are also discussed.