title: advances in databases and information systems ( adbis ). authors: albertas caplinskas , johann eder , olegas vasilecas. venue: sigmod record. year: 2002
title: solving satisfiability and implication problems in database systems. authors: sha guo , wei sun , mark a. weiss. venue: acm transactions on database systems ( tods ). year: 1996