Testing for the Church-Rosser Property
Journal of the ACM (JACM)
Optimizing the performance of a relational algebra database interface
Communications of the ACM
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
PRTV, an efficient implementation for large relational data bases
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Streaming multiple aggregations using phantoms
The VLDB Journal — The International Journal on Very Large Data Bases
An overview of recent data base research
ACM SIGMIS Database
Hi-index | 0.00 |
Algorithms for encoding and decoding finite strings over a finite alphabet are described. The coding operations are arithmetic involving rational numbers li as parameters such that Σi2-l i≤2-∈. ...