Methods and apparatus for constructing declarative componentized applications

摘要

Techniques for constructing a software application are provided. A data model of the application is represented as a relational model. Control logic of the application is defined as a mapping from a current state of the application data model and one or more application inputs to a new state of the application data model and one or more application outputs, described by relational algebra components.