Decomposition of object-oriented database schemas

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 pivoting is used. Pivoting 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 pivot 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.