Login / Signup
Verifying Termination of General Logic Programs with Concrete Queries
Yi-Dong Shen
Li-Yan Yuan
Jia-Huai You
Published in:
CoRR (2000)
Keyphrases
</>
general logic programs
query processing
query language
database
logic programs
query evaluation
databases
database systems
data model
database queries
causal theories
data sources
expressive power