Necessary and Sufficient Conditions to Linearize Double Recursive Programs in Logic Databases.
Weining ZhangClement T. YuDaniel TroyPublished in: ACM Trans. Database Syst. (1990)
Keyphrases
- sufficient conditions
- recursive programs
- databases
- program synthesis
- logic programs
- transformation rules
- database
- asymptotic stability
- logic programming
- linear systems
- exponential stability
- relational databases
- data model
- data management
- database systems
- data warehouse
- lyapunov function
- data sources
- equilibrium point