Ronald Fagin Moshe Y. Vardi The Theory of Data Dependencies - An Overview. 1-22 1984 conf/icalp/1984 ICALP db/conf/icalp/icalp84.html#FaginV84 http://dx.doi.org/10.1007/3-540-13345-3_1