主权项 |
1. A processor implemented method for incrementally maintaining a representation of the result of a computation using k-th deltas of a specification, the specification being a database query, for k>1, comprising the steps of:
materializing representations of the computation results of multiple levels of the specification; maintaining the materialized representations concurrently; maintaining the materialized representation of level k under updates using materialized representations of a level greater than k; and performing the updates of the representation by the computation whose inputs are a state of the representation, update information related to the updates, and at least one of the representations of the specifications of a level greater than k, the specifications constituting a set, operations on the set of specifications obtaining properties of a ring of databases, the ring of databases being used to define an aggregate query calculus comprising operations on the set; the properties of the aggregate query calculus including having a full additive inverse and having a property of distributivity; wherein the steps of materializing representations, maintaining the materialized representations, and performing the updates of the representation are performed by one or more processors executing computer readable code embodied in non-transitory computer usable media. |