Polynomial approximations of the relational semantics of imperativeprograms.
Michael ColónPublished in: Sci. Comput. Program. (2007)
Keyphrases
- low order
- formal semantics
- relational databases
- relational data
- relational operators
- learning algorithm
- relational algebra
- aggregate functions
- relational query languages
- database
- multiple inheritance
- database query languages
- algebraic operations
- multi relational
- default reasoning
- expressive power
- logic programming
- higher order
- data model