Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rainer Manthey
Proving Finite Satisfiability of Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
On Modal Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Unification of Active Databases and Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Foundations of Aggregation in Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deductive Databases and Knowledge Base Systems.
A Logical Foundation for Deductive Object-Oriented Databases
Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases
Journal of Computer and System Sciences
Computer Networks
Applied Mathematics
Communications
Computational Theory
Mathematics
Theoretical Computer Science
A Characterization of the Partial Stable Models for Disjunctive Deductive Databases
Uncertainty and Partial Non-Uniform Assumptions in Parametric Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Materialized View for the Same Generation Query in Deductive Databases
Computer and Information Science
