XSB as a deductive database

Authors:
Konstantinos Sagonas;Terrance Swift;David S. Warren
Affiliations:
Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY;Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY;Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
Venue:
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Year:
1994

Chasing Relational Database Constraints Backwards

DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Linear tabling strategies and optimizations

Theory and Practice of Logic Programming
Generating Specialized Rules and Programs for Demand-Driven Analysis

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
From datalog rules to efficient programs with time and space guarantees

ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph queries through datalog optimizations

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Precise complexity analysis for efficient datalog queries

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Querying complex graphs

PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Lightweight snapshots and system-level backtracking

HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems

Hi-index	0.00