On the complexity of join dependencies
ACM Transactions on Database Systems (TODS)
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Practical algorithms for finding prime attributes and testing normal forms
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
The design of relational databases
The design of relational databases
Functional dependencies in relational databases: a lattice point of view
Discrete Applied Mathematics - Special issue on combinatorial problems in databases
EDBT '94 Proceedings of the 4th international conference on extending database technology: Advances in database technology
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
A normal form for precisely characterizing redundancy in nested relations
ACM Transactions on Database Systems (TODS)
Dependency preserving refinements and the fundamental problem of database design
Data & Knowledge Engineering - Special issue on ER '96
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas
ADBIS '95 Proceedings of the Second International Workshop on Advances in Databases and Information Systems
Decomposition of Relationships through Pivoting
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
Optimising abstract object-oriented database schemas
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
| Hi-index | 0.00 |
We specify a data model with object-oriented and logic-oriented features. The model is based on F-logic. For this model, we study a decomposition of a class, the counterpart to the well-known decomposition of a relation scheme under functional dependencies. For this decomposition of a class, the transformation ipivoting is used. iPivoting transplants some attributes of the class to a newly generated class. This new class is a subclass of the result class of the so-called ipivot attribute. The pivot attribute maintains the link between the original class and the new subclass. We identify the conditions under which input and output of pivoting are equivalent. Additionally, we show under which conditions a schema with functional dependencies can be recursively transformed into an equivalent one without non-key functional dependencies.