Using Datalog for Fast and Easy Program Analysis.

Yannis Smaragdakis Martin Bravenboer

Published in: Datalog (2010)

Keyphrases

expressive power
query language
query answering
deductive databases
data complexity
search engine
computer vision
decision making
case study
search algorithm
expert systems
logic programs
logic programming
xml data
datalog programs