Logic in databases: report on the LID 2008 workshop.

Andrea Calì Laks V. S. Lakshmanan Davide Martinenghi

Published in: SIGMOD Rec. (2009)

Keyphrases

databases
database
bottle neck
knowledge discovery
relational databases
closed world assumptions
automated reasoning
logic programming
real time
classical logic
machine learning
artificial intelligence
website
data mining
data model
neural network
modal logic
predicate logic
data sets