Multikey access methods based on superimposed coding techniques
ACM Transactions on Database Systems (TODS)
Limiting a resolution set in a large Prolog database using special hardware
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
A type driven hardware engine for Prolog clause retrieval over a large knowledge base
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Multikey access methods based on term discrimination and signature clustering
SIGIR '89 Proceedings of the 12th annual international ACM SIGIR conference on Research and development in information retrieval
Automata-driven indexing of Prolog clauses
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic partitioning of signature files
ACM Transactions on Information Systems (TOIS)
A deductive database of the groups of order dividing 128
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
A Superjoin Algorithm for Deductive Databases
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Handbook of automated reasoning
Deductive mathematical databases: a case study
SSDBM'1990 Proceedings of the 5th international conference on Statistical and Scientific Database Management
Hi-index | 0.00 |