Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?
Julia L. LawallHarry G. MairsonPublished in: ICFP (1996)
Keyphrases
- cost model
- lambda calculus
- query optimization
- programming language
- predicate calculus
- query processing
- query execution
- join algorithms
- query optimizer
- program understanding
- range queries
- database query languages
- complex objects
- formal model
- regular expressions
- path expressions
- efficient query processing
- higher order
- spatial databases
- theorem proving
- fault localization
- high level