This text constitutes the post-workshop proceedings of the International Workshop on Logic in Databases, LID '96, held in San Miniato, Italy, in July 1996, the final meeting of an EC-US co-operative activity. The volume presents 21 revised full papers selected from 49 of a panel discussion.