Method of resolving overloaded routines, system for implementing the same and medium for storing processing program therefor

A database server for analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, comprising:

• a routine selecting processing unit for obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting unit for sorting the group of routines selected in said routine selecting processing on a basis of predetermined precedence of data types of arguments;
• a reference utilization pruning processing unit for determining the routine which has the highest precedence of a data type of an argument from among the routines which can be called for the types in the definition of the arguments of the invocation from the sorted routines and for deleting any of the routines each of which has the lower precedence than that of the routine thus determined from the candidates;
• and
• a sorted characteristic pruning processing unit for comparing the data types of corresponding arguments among routines which still remain in said reference utilization pruning processing and extracting all arguments whose data types are abstract data type ADT and deleting a routine having a lower precedence in a sorting order, when a data type of each argument extracted is identical to a data type of argument of a same position of a routine having a higher precedence in said sorting order or a sub-type of a data type of argument of said same position of said routine having a higher precedence in said sorting order.

A medium for recording therein a program which is used to operate a computer as a database server for analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said database server comprising:

• a routine selecting processing unit for obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting unit for sorting the group of routines selected in said routine selecting processing on a basis of predetermined precedence of data types of arguments;
• a reference utilization pruning processing unit for determining the routine which has the highest precedence of a data type of an argument from among the routines which can be called for the types in the definition of the arguments of the invocation from the sorted routines and for deleting any of the routines each of which has the lower precedence than that of the routine thus determined from the candidates;
• and
• a sorted characteristic pruning processing unit for comparing the data types of corresponding arguments among routines which still remain in said reference utilization pruning processing and extracting all arguments whose data types are abstract data type ADT and deleting a routine having a lower precedence in a sorting order, when a data type of each argument extracted is identical to a data type of argument of a same position of a routine having a higher precedence in said sorting order or a sub-type of a data type of argument of said same position of said routine having a higher precedence in said sorting order.

A overloaded routines resolving method of analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said method comprising:

• a routine selecting step of, in response to said routine invocation included in said request for inquiry, obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting step of sorting the group of routines selected in said routine selecting step on a basis of predetermined application precedence of data types of arguments;
• a reference utilization pruning step of determining the routine which has the highest precedence of a data type of an argument from among the routines which can be called for the types in the definition of the arguments of the invocation from the sorted routines and of deleting any of the routines each of which has the lower precedence than that of the routine thus determined from the candidates;
• and
• a sorted characteristic pruning step of comparing the data types of corresponding arguments among routines which still remain in said reference utilization pruning step and extracting all arguments whose data types are abstract data type ADT and deleting a routine having a lower precedence in a sorting order, when a data type of each argument extracted is identical to a data type of argument of a same position of a routine having a higher precedence in said sorting order or a sub-type of a data type of argument of said same position of said routine having a higher precedence in said sorting order.

An overloaded routines resolving method of analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said method comprising:

• a routine selecting step of, in response to said routine invocation included in said request for inquiry, obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting step of sorting the group of routines selected in said routine selecting step on a basis of predetermined application precedence of data types of arguments;
• and
• a reference utilization pruning step of determining the routine which has the highest precedence of a data type of an argument from among the routines which can be called for the types in the definition of the arguments of the invocation from the sorted routines and of deleting any of the routines each of which has the lower precedence than that of the routine thus determined from the candidates.

An overloaded routines resolving method of analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said method comprising:

• a routine selecting step of, in response to said routine invocation included in said request for inquiry, obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting step of sorting the group of routines selected in said routine selecting step on a basis of predetermined application precedence of data types of arguments;
• and
• a sorted characteristic pruning step of comparing the data types of corresponding arguments among routines which have been sorted and extracting all arguments whose data types are abstract data type ADT and deleting a routine having a lower precedence in a sorting order, when a data type of each argument extracted is identical to a data type of argument of a same position of a routine having a higher precedence in said sorting order or a sub-type of a data type of argument of said same position of said routine having a higher precedence in said sorting order.

An overloaded routines resolving method of analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said method comprising:

• a routine selecting step of, in response to said routine invocation included in said request for inquiry, obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting step of sorting the group of routines selected in said routine selecting step on a basis of predetermined application precedence of data types of arguments;
• and
• an application routine determining step of searching for the routine to be actually called, from the head of the routines, which can be started for the data type of the argument when determining the routine to be actually called among the sorted routines to apply the routine which has been found out first, thereby selecting one routine which is to be applied for the invocation for the overloaded routines.

An overloaded routine resolving processing apparatus for analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said apparatus comprising:

• a routine selecting means for, in response to said routine invocation included in said request for inquiry, obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting means for sorting the group of routines selected in said routine selecting means on a basis of predetermined application precedence of data types of arguments;
• a reference utilization pruning means for determining the routine which has the highest precedence of a data type of an argument from among the routines which can be called for the types in the definition of the arguments of the invocation from the sorted routines and for deleting any of the routines each of which has the lower precedence than that of the routine thus determined from the candidates;
• and
• a sorted characteristic pruning means for comparing the data types of corresponding arguments among routines which still remain after having executed the processing by said reference utilization pruning means and extracting all arguments whose data types are abstract data type ADT and deleting a routine having a lower precedence in a sorting order, when a data type of each argument extracted is identical to a data type of argument of a same position of a routine having a higher precedence in said sorting order or a sub-type of a data type of argument of said same position of said routine having a higher precedence in said sorting order.

An overloaded routine resolving processing apparatus for analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said apparatus comprising:

• a routine selecting means for, in response to said routine invocation included in said request for inquiry, obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting means for sorting the group of routines selected in said routine selecting means on a basis of predetermined application precedence of data types of arguments;
• and
• a reference utilization pruning means for determining the routine which has the highest precedence of a data type of an argument from among the routines which can be called for the types in the definition of the arguments of the invocation form the sorted routines and for deleting any of the routines each of which has the lower precedence than that of the routine thus determined from the candidates.

An overloaded routine resolving processing apparatus for analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said apparatus comprising:

• a routine selecting means for, in response to said routine invocation included in said request for inquiry, obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting means for sorting the group of routines selected in said routine selecting means on a basis of predetermined application precedence of data types of arguments;
• and
• a sorted characteristic pruning means for comparing the data types of corresponding arguments among routines which have been sorted and extracting all arguments whose data types are abstract data type ADT and deleting a routine having a lower precedence in a sorting order, when a data type of each argument extracted is identical to a data type of argument of a same position of a routine having a higher precedence in said sorting order or a sub-type of a data type of argument of said same position of said routine having a higher precedence in said sorting order.

An overloaded routine resolving processing apparatus for analyzing an invocation for the group of overloaded routines to determine the routine to be called, when a request for inquiry including a routine invocation is input, said apparatus comprising:

• a routine selecting means for, in response to said routine invocation included in said request for inquiry, obtaining routine information having a same routine name and a same number of arguments as those of said routine invocation from dictionary information of said routine and selecting routines having arguments adaptable to data types of arguments of said routine invocation among said routine information obtained;
• a routine group sorting means for sorting the group of routines selected in said routine selecting means on a basis of predetermined application precedence of data types of arguments;
• and
• application routine determining means for searching for the routine to be actually called, from the head of the routines, which can be started for the data type of the actual argument when determining the routine to be actually called among the sorted routines to apply actually the routine which has been found out first, thereby selecting only one routine which is to be applied for the invocation for the overloaded routines.