A generalization of the differential approach to recursive query evaluation
Journal of Logic Programming
Efficient implementation of loops in bottom-up evaluation of logic queries
Proceedings of the sixteenth international conference on Very large databases
Efficient bottom-up computation of queries on stratified databases
Journal of Logic Programming
Performance evaluation of algorithms for transitive closure
Information Systems
New Strategies for Computing the Transitive Closure of a Database Relation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Context-sensitive program analysis as database queries
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
SAOR: template rule optimisations for distributed reasoning over 1 billion linked data triples
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Query optimization for a graph database with visual queries
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Using datalog with binary decision diagrams for program analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
| Hi-index | 0.00 |