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 logical language for data and knowledge bases
A logical language for data and knowledge bases
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
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
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)
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
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)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 10th international conference on World Wide Web
On XML integrity constraints in the presence of DTDs
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
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
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
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
A sophisticate's introduction to database normalization theory
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
| Hi-index | 0.00 |
Modern applications increasingly require the storage of data beyond relational structure. The challenge of providing well-founded data models that can handle complex objects such as lists, sets, multisets, unions and references has not been met yet. The success of such data models will greatly depend on the existence of automated database design techniques that generalise achievements from relational database design. In this paper, a provably-correct and polynomial-time algorithm for deciding implication of functional dependencies in the presence of all combinations of records, lists, sets, and multisets is proposed. The notion of a functional dependency is based on a Brouwerian algebra of subattributes, yielding a complementary expressiveness.