Login / Signup
Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.
Hans Kleine Büning
Theodor Lettmann
Published in:
Computation Theory and Logic (1987)
Keyphrases
</>
update operations
data retrieval
database
multi valued
query processing
response time
user queries
query evaluation
data replication
range queries
data dependencies
data structure
multi dimensional
horn formulas
minimal change
knowledge compilation
propositional logic
communication cost
first order logic