Relational database systems
Interactions between dependencies and nested relational structures
Journal of Computer and System Sciences
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
The design of ¬ 1NF relational databases into nested normal form
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
An algebraic theory of functional and multivalued dependencies in relational databases
Theoretical Computer Science
New methods and fast algorithms for database normalization
ACM Transactions on Database Systems (TODS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Extended algebra and calculus for nested relational databases
ACM Transactions on Database Systems (TODS)
A new characterization of FD implication with an application to update anomalies
Information Processing Letters
A logical language for data and knowledge bases
A logical language for data and knowledge bases
The structure of the relational database model
The structure of the relational database model
Managing complex objects in an extensible relational DBMS
VLDB '89 Proceedings of the 15th international conference on Very large data bases
On the normalization in nested relational databases
Nested relations and complex objects in databases
A formal approach to object-oriented databases
Data & Knowledge Engineering
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
On the complexity of inferring functional dependencies
Discrete Applied Mathematics - Special issue on combinatorial problems in databases
Semantics for null extended nested relations
ACM Transactions on Database Systems (TODS)
Algorithms for inferring functional dependencies from relations
Data & Knowledge Engineering
Insertion anomalies and the justification for 4NF in relational databases
Information Sciences—Informatics and Computer Science: An International Journal
Approximate inference of functional dependencies from relations
ICDT '92 Selected papers of the fourth international conference on Database theory
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)
Axiomatisation of functional dependencies in incomplete relations
Theoretical Computer Science
Reasoning about nested functional dependencies
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Database design for incomplete relations
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)
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
Normalization and hierarchical dependencies in the relational data model
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
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)
On the menbership problem for functional and multivalued dependencies in relational databases
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)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Path constraints in semistructured databases
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Constraints for semistructured data and XML
ACM SIGMOD Record
Algorithm for discovering multivalued dependencies
Proceedings of the tenth international conference on Information and knowledge management
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
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Decomposing relationship types by pivoting and schema equivalence
Data & Knowledge Engineering - ER2000
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
On the implication problem for cardinality constraints and functional dependencies
Annals of Mathematics and Artificial Intelligence
A Computational Biology Database Digest: Data, Data Analysis, and Data Management
Distributed and Parallel Databases
A Comparative Study of Various Nested Normal Forms
IEEE Transactions on Knowledge and Data Engineering
ICDT '90 Proceedings of the Third International Conference on Database Theory
Bioinformatics Adventures in Database Research
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Supporting Lists in a Data Model (A Timely Approach)
VLDB '92 Proceedings of the 18th 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
The Design and Implementation of a Sequence Database System
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Achievements of Relational Database Schema Design Theory Revisited
Selected Papers from a Workshop on Semantics in Databases
Transformation of Requirement Specifications Expressed in Natural Language into an EER Model
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
What's Hard about XML Schema Constraints?
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
An information-theoretic approach to normal forms for relational and XML data
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Journal of Computer and System Sciences - Special issue on PODS 2000
Analysis and design of relational schemata for database systems.
Analysis and design of relational schemata for database systems.
Information Systems
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
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
Error-robust functional dependencies
Fundamenta Informaticae
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
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
Discovery of multivalued dependencies from relations
Intelligent Data Analysis
Multivalued dependencies in XML
BNCOD'03 Proceedings of the 20th British national conference on Databases
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
Know your limits: enhanced XML modeling with cardinality constraints
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
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)
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
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
The nested list normal form for functional and multivalued dependencies
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
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
Hi-index | 0.00 |
The impact of the list constructor on two important classes of relational dependencies is investigated. Lists represent an inevitable data structure whenever order matters and data is allowed to occur repeatedly. The list constructor is therefore supported by many advanced data models such as genomic sequence, deductive and object-oriented data models including XML. The article proposes finite axiomatisations of functional, multivalued and both functional and multivalued dependencies in nested databases supporting record and list constructor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new inference rule which allows to infer non-trivial functional dependencies from multivalued dependencies. Further differences to the relational theory become apparent when the independence of the inference rules is investigated. The extension of the relational theory to nested databases allows to specify more real-world constraints and increases therefore the number of application domains.