Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Sven Hartmann, Sebastian Link, Klaus-Dieter ScheweТом:
355
Рік:
2006
Мова:
english
Сторінки:
30
DOI:
10.1016/j.tcs.2006.01.008
Файл:
PDF, 551 KB
english, 2006