Access Clause Trees in Disjunctive Deductive Databases.

Charlie F. Obimbo Bruce Spencer

Published in: DDLP (1996)

Keyphrases

disjunctive deductive databases
horizontal fragmentation
deductive databases
access control
query evaluation
decision trees
database
theorem prover
high level
software engineering
general purpose
tree structure
datalog programs