1. IFO
2. Ablteboul S and Vlanu V Transactions and constraints Proceedings A CM SIGACT-SIGMOD Syrup on Pmnczples of Database Systems 1985 10.1145/325405.325439 Ablteboul S and Vlanu V Transactions and constraints Proceedings A CM SIGACT-SIGMOD Syrup on Pmnczples of Database Systems 1985 10.1145/325405.325439
3. Casanova M A Fagln R Papadlmltrtou C H Incluslon dependencies and thelr mteractlon wlth functlonal dependencms Proceedings A CM SIGA CT-SIGMOD Symp on Principles of Database Systems 1982 pp 55-62 10.1145/588111.588141 Casanova M A Fagln R Papadlmltrtou C H Incluslon dependencies and thelr mteractlon wlth functlonal dependencms Proceedings A CM SIGA CT-SIGMOD Symp on Principles of Database Systems 1982 pp 55-62 10.1145/588111.588141
4. Chandra A and Vardl M The lmphcatlon problem for functional and inclusion dependencms is undecldable IBM Research Report RC 9980 (44299) 1983 Chandra A and Vardl M The lmphcatlon problem for functional and inclusion dependencms is undecldable IBM Research Report RC 9980 (44299) 1983