System and method for storing and managing functions
First Claim
1. A computing apparatus having memory means, comprising a database stored in said memory means, and an interface means interacting with peripheral apparatuses and an implementation means, said database comprising(I) zero or more nodes, each of said nodes comprising an identifier and a value, said value occupying a piece of said memory means that is selected from a group of data types comprising empty, integers, floating numerical numbers, characters, strings, effectively computable functions, files, multimedia data, and user-defined data.(II) zero or more number of links selected from a group comprising at least a first link type and a second link type, each of said links having a tail means connecting to a node and a head means connecting to a node, each of said nodes being attached by the head means of zero or more links of the first link type;
- being attached by the tail means of zero or one link of the first link type;
being attached by the head means of zero or more links of the second link type; and
being attached by the tail means of zero or one link of the second link type, whereby the nodes and the links of the first link type forms a set of trees; and
the nodes and the links of the second link type forms a set of tree, and whereby the tees reflect dependent relationships among the nodes,said implementation means comprising a plurity of query procedures selected from a group comprising a query procedure that has a plurity nodes as parameters for retrieving the nodes which depend on the given nodes with respect to the first link type;
a query procedure that has a plurity of nodes as parameters for retrieving the nodes which depend on the given nodes with respect to the second link type;
a query procedure that has a plurity of nodes as parameters for retrieving the nodes which am depended by the given nodes with respect to the fist link type; and
a query procedure that has a plurity of nodes as parameters for retrieving the nodes which are depended by the given nodes with respect to the second link type.
0 Assignments
0 Petitions
Accused Products
Abstract
A computer system and method for storing and managing a database that has lambda-definable functions as its foundation. The database is a collection of nodes that are connected by a set of links, and further it is a directed acyclic graph constructed from the nodes and the links. There are two types of links. By ignoring one type of the links, the database can be viewed as a set of trees; and by ignoring another type of the links, the database can be viewed as another set of trees. The directed acyclic graph and the two sets of trees illustrate the dependent relationships among the data and provide means in manipulating the database. A node has a name for the purpose of identification; and a value that carries an unit of meanings of the database application. The value of a node is selected from a regular data type, user-defined data type, and lambda-definable functions. Managing lambda-definable functions allows a database to support infinite data with finite storage. It is proved that a database is an enumeration of the properties of a lambda-definable function; and a lambda-definable function is the abstraction of a database. This gives a database management system the full computing capability that a computer has. Thus a database application doesn'"'"'t need application-dependent software development in host programming languages except for high-level functional specifications, which reduces the development cost of the database application, and improves the reliability and performance of the database application.
96 Citations
4 Claims
-
1. A computing apparatus having memory means, comprising a database stored in said memory means, and an interface means interacting with peripheral apparatuses and an implementation means, said database comprising
(I) zero or more nodes, each of said nodes comprising an identifier and a value, said value occupying a piece of said memory means that is selected from a group of data types comprising empty, integers, floating numerical numbers, characters, strings, effectively computable functions, files, multimedia data, and user-defined data. (II) zero or more number of links selected from a group comprising at least a first link type and a second link type, each of said links having a tail means connecting to a node and a head means connecting to a node, each of said nodes being attached by the head means of zero or more links of the first link type; - being attached by the tail means of zero or one link of the first link type;
being attached by the head means of zero or more links of the second link type; and
being attached by the tail means of zero or one link of the second link type, whereby the nodes and the links of the first link type forms a set of trees; and
the nodes and the links of the second link type forms a set of tree, and whereby the tees reflect dependent relationships among the nodes,said implementation means comprising a plurity of query procedures selected from a group comprising a query procedure that has a plurity nodes as parameters for retrieving the nodes which depend on the given nodes with respect to the first link type;
a query procedure that has a plurity of nodes as parameters for retrieving the nodes which depend on the given nodes with respect to the second link type;
a query procedure that has a plurity of nodes as parameters for retrieving the nodes which am depended by the given nodes with respect to the fist link type; and
a query procedure that has a plurity of nodes as parameters for retrieving the nodes which are depended by the given nodes with respect to the second link type. - View Dependent Claims (2, 3, 4)
- being attached by the tail means of zero or one link of the first link type;
Specification