The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Type systems for programming languages
Handbook of theoretical computer science (vol. B)
Structural recursion as a query language
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Completeness results for recursive data bases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Functional database query languages as typed lambda calculi of fixed order (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Programming primitives for database languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
Towards a theory of search queries
Proceedings of the 12th International Conference on Database Theory
Towards a theory of search queries
ACM Transactions on Database Systems (TODS)
A customised ASM thesis for database transformations
Acta Cybernetica
| Hi-index | 0.00 |