Hitomi Okuma, Yasuo Kawahara. A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories. In Harrie C. M. de Swart, editor, Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers. Volume 2561 of Lecture Notes in Computer Science, pages 152-170, Springer, 2001. [doi]
Abstract is missing.