A new normal form for nested relations
ACM Transactions on Database Systems (TODS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
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
A formal approach to object-oriented databases
Data & Knowledge Engineering
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Selected papers of the Second Workshop on Concurrency and compositionality
Programming by multiset transformation
Communications of the ACM
Semantics for null extended nested relations
ACM Transactions on Database Systems (TODS)
Insertion anomalies and the justification for 4NF in relational databases
Information Sciences—Informatics and Computer Science: An International Journal
A normal form for precisely characterizing redundancy in nested relations
ACM Transactions on Database Systems (TODS)
Sperner theory
World Wide Web Journal - Special issue on XML: principles, tools, and techniques
Object normal forms and dependency constraints for object-oriented schemata
ACM Transactions on Database Systems (TODS)
Reasoning about nested functional dependencies
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms
Fundamenta Informaticae
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)
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)
Minimum Covers in Relational Database Model
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
Constraints for semistructured data and XML
ACM SIGMOD Record
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
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
ACM SIGMOD Record
A Computational Biology Database Digest: Data, Data Analysis, and Data Management
Distributed and Parallel Databases
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Designing Functional Dependencies for XML
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
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
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
On Multisets in Database Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
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
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
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Normalisation in the presence of lists
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
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
Multivalued dependencies in XML
BNCOD'03 Proceedings of the 20th British national conference on Databases
Functional dependencies for XML
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
Horn clauses and functional dependencies in complex-value databases
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Theoretical Computer Science
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
Keys and Armstrong databases in trees with restructuring
Acta Cybernetica
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
Lossless decompositions in complex-valued databases
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge 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
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
Hi-index | 0.06 |
We investigate functional dependencies in databases that support complex values such as records, lists, sets anu multisets. Therefore, an abstract algebraic framework is proposed that classifies data models according to the underlying types they support. This allows to emphasise the impact of the data types rather than the specifics of a particular data model.The main results are finite, minimal, sound and complete sets of inference rules for the implication of functional dependencies in the presence of records and all combinations of lists, sets and multisets. The inference rules are similar to Armstrong's original axioms for the relational data model, thanks to the algebraic framework. The completeness result, however, requires a deep analysis in the case of sets and, in particular, multisets.