Logic in databases. International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings.