Converging to the Chase - A Tool for Finite Controllability.

Tomasz Gogacz Jerzy Marcinkowski

Published in: LICS (2013)

Keyphrases

user friendly
software tools
machine learning
incomplete information
analysis tool
neural network
real world
case study
database systems
np complete
functional dependencies
query answering
finite number
data dependencies
simple temporal