The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.
Deepak GoyalRobert PaigePublished in: Algorithmic Languages and Calculi (1997)
Keyphrases
- relational calculus
- relational algebra
- expressive power
- query language
- complex objects
- arithmetic constraints
- normal form
- relational model
- data model
- relational data model
- database
- first order logic
- relational databases
- data integration
- finitely representable
- database query languages
- transitive closure
- decision support
- object oriented
- data mining