Data independent recursion in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A decidable class of bounded recursions
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
On bounded database schemes and bounded Horn-clause programs
SIAM Journal on Computing
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Logic programming and parallel complexity
Foundations of deductive databases and logic programming
Boundedness is undecidable for datalog programs with a single recursive rule
Information Processing Letters
Proof-tree transformation theorems and their applications
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Linearising nonlinear recursions in polynomial time
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM SIGACT News
Decidability and undecidability results for boundedness of linear recursive queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Principles of Database Systems
Principles of Database Systems
Journal of Intelligent Information Systems
ICDT '99 Proceedings of the 7th International Conference on Database Theory
A Semantic Query Optimization Approach to Optimize Linear Datalog Programs
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
View disassembly: A rewrite that extracts portions of views
Journal of Computer and System Sciences
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Hi-index | 0.00 |