Philip W. Dart On Derived Dependencies and Connected Databases. 163-188 1991 11 J. Log. Program. 1&2 db/journals/jlp/jlp11.html#Dart91