Some Elementary Results About the Equivalence of Computability and Decidability.

Ulrich Huckenbeck

Published in: Math. Log. Q. (1991)

Keyphrases

query containment
description logics
query answering
databases
conjunctive queries
decision procedures
datalog programs
school children
interactive dynamic influence diagrams
real time
data sets
real world
digital libraries
transitive closure
type checking