On the sequential nature of unification
Journal of Logic Programming
Relational queries computable in polynomial time
Information and Control
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Logic programming and parallel complexity
Foundations of deductive databases and logic programming
Decidable optimization problems for database logic programs
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Efficient parallel algorithms can be made robust
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
ACM SIGACT News
Polymorphic unification and ML typing
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The two facets of object-oriented data models
Data Engineering
Efficient parallel algorithms on restartable fail-stop processors
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
A simple proof of a theorem of Statman
Theoretical Computer Science
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
Indexing for data models with constraints and classes (extended abstract)
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
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Parallel algorithms with processor failures and delays
Journal of Algorithms
OODB indexing by class-division
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Constraint Programming and Database Query Languages
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
WDAG '93 Proceedings of the 7th International Workshop on Distributed Algorithms
An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations
CONCUR '94 Proceedings of the Concurrency Theory
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Object Identity As A Query Language Primitive
Object Identity As A Query Language Primitive
Object identity as a query language primitive
Journal of the ACM (JACM)
Hi-index | 0.00 |