Equivalence of SQL Queries in Presence of Embedded Dependencies