Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  define four different properties of relational databases which are related tothe notion of homogeneity in classical model theory. The main question for their definition is, for any given database to determine the minimum integer i>k, such that whenever two i>k-tuples satisfy the same properties which are expressible in first order logic with up to i>k variables (FOi>k), then there is an automorphism which maps each of these i>k-tuples onto each other.  study these four properties as a means to increase the computational por of subclasses of the reflective relational machines (RRMs) of bounded variable complexity. These re introduced by S. Abiteboul, C. Papadimitriou and V. Vianu and are known to be incomplete. For this sake  first give a semantic characterization of the subclasses of total RRM with variable complexity i>k (RRMi>k) for every natural number i>k. This leads to the definition of classes of queries denoted as i>Qi>Ci>Qi>k.  believe these classes to be of interest in their own right. For each i>k>0,  define the subclass i>Qi>Ci>Qi>k as the total queries in the class i>Ci>Q of computable queries which preserve realization of properties expressible in FOi>k. The nature of these classes is implicit in the work of S. Abiteboul, M. Vardi and V. Vianu.  prove i>Qi>Ci>Qi>kei>total(RRMi>k) for every i>k>0.  also prove that these classes form a i>strict hierarchy within a strict subclass of i>total(i>Ci>Q). This hierarchy is orthogonal to the usual classification of computable queries in time-space-complexity classes.  prove that the computability por of RRMi>k machines is much greater when working with classes of databases which are homogeneous, for three of the properties which  define. As to the fourth one,  prove that the computability por of RRM with sublinear variable complexity also increases when working on databases which satisfy that property. The strongest notion, pairwise i>k-homogeneity, allows RRMi>k machines to achieve i>completeness.
['José María Turull Torres']
I am writing a research paper on a idea A study of homogeneity in relational databases
[{"from": "human", "value": "I am writing a research paper on a idea A study of homogeneity in relational databases"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  define four different properties of relational databases which are related tothe notion of homogeneity in classical model theory. The main question for their definition is, for any given database to determine the minimum integer i>k, such that whenever two i>k-tuples satisfy the same properties which are expressible in first order logic with up to i>k variables (FOi>k), then there is an automorphism which maps each of these i>k-tuples onto each other.  study these four properties as a means to increase the computational por of subclasses of the reflective relational machines (RRMs) of bounded variable complexity. These re introduced by S. Abiteboul, C. Papadimitriou and V. Vianu and are known to be incomplete. For this sake  first give a semantic characterization of the subclasses of total RRM with variable complexity i>k (RRMi>k) for every natural number i>k. This leads to the definition of classes of queries denoted as i>Qi>Ci>Qi>k.  believe these classes to be of interest in their own right. For each i>k>0,  define the subclass i>Qi>Ci>Qi>k as the total queries in the class i>Ci>Q of computable queries which preserve realization of properties expressible in FOi>k. The nature of these classes is implicit in the work of S. Abiteboul, M. Vardi and V. Vianu.  prove i>Qi>Ci>Qi>kei>total(RRMi>k) for every i>k>0.  also prove that these classes form a i>strict hierarchy within a strict subclass of i>total(i>Ci>Q). This hierarchy is orthogonal to the usual classification of computable queries in time-space-complexity classes.  prove that the computability por of RRMi>k machines is much greater when working with classes of databases which are homogeneous, for three of the properties which  define. As to the fourth one,  prove that the computability por of RRM with sublinear variable complexity also increases when working on databases which satisfy that property. The strongest notion, pairwise i>k-homogeneity, allows RRMi>k machines to achieve i>completeness."}]