Before revision: Definition An embedded dependency (ED) is a sentence in first-order logic of the form: where and is a possibly empty and is a non-empty conjunction of relational and equality atoms.
After revision: Definition An embedded dependency (ED) is a sentence in first-order logic of the form: where and and are conjunctions of relational and equality atoms.