Logic programming and databases: overview of transaction otimization in constrained Datalog