How Stratification is Used in LDL.

Shamim A. Naqvi

Published in: IEEE Data Eng. Bull. (1989)

Keyphrases

expressive power
deductive databases
deductive database systems
abstract machine
query language
logic programming
query evaluation
temporal logic