Dividing Line between Decidable PDA's and Undecidable Ones.

Yuxi Fu Qiang Yin

Published in: CoRR (2014)

Keyphrases

datalog programs
exptime complete
expressive power
mobile phone
query containment
description logics
line segments
data complexity
first order logic
query answering
mobile devices
sufficient conditions
np complete
language learning
plan existence
lightweight
mobile learning
query processing
database systems
databases