Deciding the Bisimilarity Relation between Datalog Goals.

Philippe Balbiani Antoun Yaacoub

Published in: JELIA (2012)

Keyphrases

expressive power
query answering
deductive databases
query language
datalog programs
learning algorithm
data sources
knowledge representation
logic programming