| 摘要 |
A method and system provide an algebraic database management system (ADBMS) that maintains ADBMS type system. The type system includes an ADBMS type database (ATD) and provides a collection of rules that assign a type to constructs. The ATD is a catalog with each record holding typing information. An interpreter dynamically processes, at execution time, a query (that is syntactically modeled on relational algebra). The interpreter: determines inputs of the query; searches the ATD for a data type of each of the inputs, determines compatibility between each of data types of the inputs based on an operator of the query, determines a resultant of the query and a data type of the resultant (based on the operator of the query), and saves the resultant of the query by adding a new record in the catalog. |
| 主权项 |
1. A computer-implemented method for maintaining an algebraic database management system (ADBMS), comprising:
(a) receiving a query, wherein the query utilizes a syntax that is modeled on relational algebra; (b) maintaining an ADBMS type system comprising an ADBMS type database (ATD), wherein:
(1) the ADBMS type system comprises a collection of rules that assign a type to constructs; and(2) the ATD comprises a catalog, wherein each record in the catalog holds typing information for a data type; (c) dynamically processing, at execution time, the query, in an interpreter, by:
(1) determining the inputs of the query;(2) searching the ATD for an input data type of each of the inputs;(3) determining compatibility between each of the input data types of the inputs based on an operator of the query;(4) determining a resultant of the query and a resultant data type of the resultant of the query, based on the operator of the query; and(5) outputting the resultant of the query, wherein the outputting comprises adding a new record in the catalog, wherein the new record comprises the resultant data type. |
